( 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)Exploring garbage collection with haswell hardware transactional memory., , und . ISMM, Seite 105-115. ACM, (2014)Generating Virtual Machine Code of JavaScript Engine for Embedded Systems., , , und . J. Inf. Process., (2022)SEAN: Support Tool for Detecting Rule Violations in JNI Coding., , , , und . Inf. Media Technol., 7 (4): 1353-1358 (2012)General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory., , und . ICPP, Seite 675-684. ACM, (2023)Reference object processing in on-the-fly garbage collection., , und . ISMM, Seite 59-69. ACM, (2014)Project Report: Toward the Realization of Highly Reliable Embedded Systems., , , , , , und . ISORC, Seite 105-111. IEEE Computer Society, (2009)Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection., , und . Inf. Media Technol., 7 (2): 651-658 (2012)Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector., , und . ISMM, Seite 15-26. ACM, (2013)Improved replication-based incremental garbage collection for embedded systems., , und . ISMM, Seite 73-82. ACM, (2010)