From post

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.

 

Другие публикации лиц с тем же именем

Generating Optimized Residual Code in Run-Time Specialization, и . International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), стр. 83--102. Waseda University, Tokyo, Japan, (ноября 1999)The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution., , и . IFIP PACT, том A-50 из IFIP Transactions, стр. 57-66. North-Holland, (1994)Debugging Concurrent Systems Based on Object Groups., и . ECOOP, том 322 из Lecture Notes in Computer Science, стр. 267-282. Springer, (1988)A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features., , , и . International Conference on Supercomputing, стр. 116-123. ACM, (1997)Partial Evaluation Scheme for Concurrent Languages and Its Correctness., , и . Euro-Par, Vol. I, том 1123 из Lecture Notes in Computer Science, стр. 625-632. Springer, (1996)Autonomic K-Interleaving Construction Scheme for P2P Overlay Networks., и . ATC, том 4158 из Lecture Notes in Computer Science, стр. 153-162. Springer, (2006)Formal Verification of the Heap Manager of an Operating System Using Separation Logic., , и . ICFEM, том 4260 из Lecture Notes in Computer Science, стр. 400-419. Springer, (2006)Type-Theoretic Foundations for Concurrent Object-Oriented Programming., и . OOPSLA, стр. 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., , , и . ISSS, том 2609 из Lecture Notes in Computer Science, стр. 133-153. Springer, (2002)Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation., , и . ISOTAS, том 1049 из Lecture Notes in Computer Science, стр. 96-117. Springer, (1996)