default search action
IPDPS 2004: Santa Fe, New Mexico, USA
- 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA. IEEE Computer Society 2004, ISBN 0-7695-2132-0
Parallel and Distributed Systems: Testing and Debugging - PADTAD
- Rashmi Jyothi, Orion Sky Lawlor, Laxmikant V. Kalé:
Debugging Support for Charm++. - Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Program Monitoring with LTL in EAGLE. - Amiram Hayardeny, Shachar Fienblit, Eitan Farchi:
Concurrent and Distributed Desk Checking. - Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman:
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. - Yaniv Eytani, Shmuel Ur:
Compiling a Benchmark of Documented Multi-Threaded Bugs. - Marina Biberstein, Eitan Farchi, Shmuel Ur:
Fidgeting to the Point of No Return. - Alexey Ya. Kalinov, Konstantin Karganov, Konstantin Konstantin:
Towards the Proper "Step" Command in Parallel Debuggers. - Eitan Farchi, Yoel Krasny, Yarden Nir:
Automatic Simulation of Network Problems in UDP-Based Java Programs. - Doron Drusinsky:
Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. - Grigore Rosu, Koushik Sen:
An Instrumentation Technique for Online Analysis of Multithreaded Programs. - Cormac Flanagan, Stephen N. Freund:
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.