( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A general model checking framework for various memory consistency models.

, и . Int. J. Softw. Tools Technol. Transf., 19 (5): 623-647 (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é

 

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

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., и . J. Inf. Process., (2017)Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models., , , и . SETTA, том 9984 из Lecture Notes in Computer Science, стр. 118-135. (2016)Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks., , , и . Inf. Media Technol., 8 (2): 585-593 (2013)Model checking copy phases of concurrent copying garbage collection with various memory models., , и . Proc. ACM Program. Lang., 1 (OOPSLA): 53:1-53:26 (2017)A Concurrent System of Multi-ported Processes with Causal Dependency.. APLAS, том 3302 из Lecture Notes in Computer Science, стр. 146-162. Springer, (2004)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)Development of Adaptive Inter-Network Handover Scheme for Flights of UAVs over People beyond Visual Line of Sight., , и . WPMC, стр. 1-6. IEEE, (2021)Optimization of a General Model Checking Framework for Various Memory Consistency Models., и . PGAS, стр. 14:1-14:10. ACM, (2014)Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution., и . VECPAR, том 7851 из Lecture Notes in Computer Science, стр. 404-419. Springer, (2012)