( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.

, , и . VSTTE, том 10712 из Lecture Notes in Computer Science, стр. 170-190. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tatsuya Nakada

Tatsuya Hagino

Eva Abe

Christoph Abé

Ilse Abé

 

Другие публикации лиц с тем же именем

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models., , , и . SETTA, том 9984 из Lecture Notes in Computer Science, стр. 118-135. (2016)Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., и . J. Inf. Process., (2017)Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks., , , и . Inf. Media Technol., 8 (2): 585-593 (2013)A Concurrent System of Multi-ported Processes with Causal Dependency.. APLAS, том 3302 из Lecture Notes in Computer Science, стр. 146-162. Springer, (2004)Model checking copy phases of concurrent copying garbage collection with various memory models., , и . Proc. ACM Program. Lang., 1 (OOPSLA): 53:1-53:26 (2017)Development of Adaptive Inter-Network Handover Scheme for Flights of UAVs over People beyond Visual Line of Sight., , и . WPMC, стр. 1-6. IEEE, (2021)A type system for data independence of loop iterations in a directive-based PGAS language.. MPLR, стр. 50-62. ACM, (2019)A general model checking framework for various memory consistency models., и . Int. J. Softw. Tools Technol. Transf., 19 (5): 623-647 (2017)Optimization of a General Model Checking Framework for Various Memory Consistency Models., и . PGAS, стр. 14:1-14:10. ACM, (2014)On-the-Fly Synchronization Checking for Interactive Programming in XcalableMP., и . ICPP Workshops, стр. 29-37. IEEE Computer Society, (2012)