Author of the publication

A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection.

, and . PSLS, volume 1068 of Lecture Notes in Computer Science, page 108-127. Springer, (1995)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

RNA secondary structure prediction using highly parallel computers., , and . Comput. Appl. Biosci., 11 (6): 685-692 (1995)A general framework for Bi-directional translation between abstract and pictorial data., , , and . UIST, page 165-174. ACM, (1991)ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended dataflow supercomputer., , and . ICS, page 93-103. ACM, (1992)Extended alias type system using separating implication., , and . TLDI, page 29-42. ACM, (2011)Locally Simultaneous Constraint Satisfaction., , , , and . PPCP, volume 874 of Lecture Notes in Computer Science, page 51-62. Springer, (1994)Modelling Distributed Systems., and . IJCAI, page 370-376. William Kaufmann, (1977)A General Framework for Bidirectional Translation between Abstract and Pictorial Data., , , and . ACM Trans. Inf. Syst., 10 (4): 408-437 (1992)An Object-Oriented Concurrent Reflective Language ABCL/R3: Its Meta-level Design and Efficient Implementation Techniques, and . page 151--165. HERMES Science Publications, (January 2000)Writing an OS Kernel in a Strictly and Statically Typed Language., and . Formal to Practical Security, volume 5458 of Lecture Notes in Computer Science, page 181-197. Springer, (2009)Run-Time Bytecode Specialization., and . PADO, volume 2053 of Lecture Notes in Computer Science, page 138-154. Springer, (2001)