Autor der Publikation

Generating Optimized Residual Code in Run-Time Specialization

, und . International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), Seite 83--102. Waseda University, Tokyo, Japan, (November 1999)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Generating Optimized Residual Code in Run-Time Specialization, und . International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), Seite 83--102. Waseda University, Tokyo, Japan, (November 1999)The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution., , und . IFIP PACT, Volume A-50 von IFIP Transactions, Seite 57-66. North-Holland, (1994)Debugging Concurrent Systems Based on Object Groups., und . ECOOP, Volume 322 von Lecture Notes in Computer Science, Seite 267-282. Springer, (1988)A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features., , , und . International Conference on Supercomputing, Seite 116-123. ACM, (1997)Partial Evaluation Scheme for Concurrent Languages and Its Correctness., , und . Euro-Par, Vol. I, Volume 1123 von Lecture Notes in Computer Science, Seite 625-632. Springer, (1996)Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks., und . ATC, Volume 4158 von Lecture Notes in Computer Science, Seite 153-162. Springer, (2006)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.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)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)