( en | de | ru )

 

Disambiguation of "Yonezawa, Akinori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FSP: Federation of Service Providers on the Internet.

, und . ISCC, Seite 1213-1218. IEEE Computer Society, (2003)

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.

Akinori Shiotani

Kimitoshi Yonezawa

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of the Heap Manager of an Operating System Using Separation Logic., , und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 400-419. Springer, (2006)Type-Theoretic Foundations for Concurrent Object-Oriented Programming., und . OOPSLA, Seite 31-45. ACM, (1994)OOPSLA'94, Addendum to the Proceedings: OOPS Messenger 5(4) October 1994.Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks., und . ATC, Volume 4158 von Lecture Notes in Computer Science, Seite 153-162. Springer, (2006)A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection., und . PSLS, Volume 1068 von Lecture Notes in Computer Science, Seite 108-127. Springer, (1995)Debugging Concurrent Systems Based on Object Groups., und . ECOOP, Volume 322 von Lecture Notes in Computer Science, Seite 267-282. Springer, (1988)Exception Handling and Real Time Features in an Object-Oriented Concurrent Language., und . Concurrency: Theory, Language, And Architecture, Volume 491 von Lecture Notes in Computer Science, Seite 92-109. Springer, (1989)A Complete Type Inference System for Subtyped Recursive Types., und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 667-686. Springer, (1994)A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation., , und . TACS, Volume 2215 von Lecture Notes in Computer Science, Seite 64-81. Springer, (2001)Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation., , und . ISOTAS, Volume 1049 von Lecture Notes in Computer Science, Seite 96-117. Springer, (1996)Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report., , , und . ISSS, Volume 2609 von Lecture Notes in Computer Science, Seite 133-153. Springer, (2002)