Author of the publication

Collaborative Runtime Verification with Tracematches.

, , , , and . RV, volume 4839 of Lecture Notes in Computer Science, page 22-37. Springer, (2007)

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

Communication Optimizations for Parallel C Programs., and . J. Parallel Distrib. Comput., 58 (2): 301-332 (1999)A Portable and High-Performance General Matrix-Multiply (GEMM) Library for GPUs and Single-Chip CPU/GPU Systems., and . PDP, page 672-680. IEEE Computer Society, (2014)A programming language for learning environments., , and . Computational Intelligence, (1986)SableVM: A Research Framework for the Efficient Execution of Java Bytecode., and . Java Virtual Machine Research and Technology Symposium, page 27-40. USENIX, (2001)Compiling C for the EARTH multithreaded architecture., , , , , , and . IEEE PACT, page 12-23. IEEE Computer Society, (1996)A design study of the EARTH multiprocessor., , , , , , , , , and 7 other author(s). PACT, page 59-68. IFIP Working Group on Algol / ACM, (1995)Dynamic Profiling and Trace Cache Generation., and . CGO, page 276-288. IEEE Computer Society, (2003)Collaborative Runtime Verification with Tracematches., , , , and . J. Log. Comput., 20 (3): 707-723 (2010)Early Experiences with Olden., , , and . LCPC, volume 768 of Lecture Notes in Computer Science, page 1-20. Springer, (1993)Obfuscating Java: The Most Pain for the Least Gain., and . CC, volume 4420 of Lecture Notes in Computer Science, page 96-110. Springer, (2007)