( en | de | ru )

 

Disambiguation of "Abe, Tatsuya"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.

, and . J. Inf. Process., (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. You can also use the button next to the name to display some publications already assigned to the person.

Tatsuya Nakada

Tatsuya Hagino

Eva Abe

Christoph Abé

Ilse Abé

 

Other publications of authors with the same name

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models., , , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 118-135. (2016)Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., and . J. Inf. Process., (2017)Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks., , , and . Inf. Media Technol., 8 (2): 585-593 (2013)A type system for data independence of loop iterations in a directive-based PGAS language.. MPLR, page 50-62. ACM, (2019)A general model checking framework for various memory consistency models., and . Int. J. Softw. Tools Technol. Transf., 19 (5): 623-647 (2017)Model checking copy phases of concurrent copying garbage collection with various memory models., , and . 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., , and . WPMC, page 1-6. IEEE, (2021)A Concurrent System of Multi-ported Processes with Causal Dependency.. APLAS, volume 3302 of Lecture Notes in Computer Science, page 146-162. Springer, (2004)A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models.. Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 51-66. Springer, (2017)Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution., and . VECPAR, volume 7851 of Lecture Notes in Computer Science, page 404-419. Springer, (2012)