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 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).
Last update Sat May 25 18:33:35 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
