( en | de | ru )

 

Disambiguierung von "Ugawa, Tomoharu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.

, , , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 118-135. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Ugawa, Tomoharu
Eine Person hinzufügen mit dem Namen Ugawa, Tomoharu
 

Weitere Publikationen von Autoren mit dem selben Namen

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models., , und . VSTTE, Volume 10712 von Lecture Notes in Computer Science, Seite 170-190. Springer, (2017)Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN., und . J. Inf. Process., (2019)Generating Virtual Machine Code of JavaScript Engine for Embedded Systems., , , und . J. Inf. Process., (2022)Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection., und . J. Inf. Process., (2020)Exploring garbage collection with haswell hardware transactional memory., , und . ISMM, Seite 105-115. ACM, (2014)Reference object processing in on-the-fly garbage collection., , und . ISMM, Seite 59-69. ACM, (2014)General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory., , und . ICPP, Seite 675-684. ACM, (2023)Project Report: Toward the Realization of Highly Reliable Embedded Systems., , , , , , und . ISORC, Seite 105-111. IEEE Computer Society, (2009)Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection., , und . ACM Trans. Program. Lang. Syst., 40 (4): 15:1-15:56 (2018)Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN., , und . J. Inf. Process., (2018)