|
Journals in DBLP
Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). [Citation Graph (, )][DBLP]
Towards a framework and a benchmark for testing tools for multi-threaded programs. [Citation Graph (, )][DBLP]
A method for verifying concurrent Java components based on an analysis of concurrency failures. [Citation Graph (, )][DBLP]
Distributed desk checking. [Citation Graph (, )][DBLP]
An instrumentation technique for online analysis of multithreaded programs. [Citation Graph (, )][DBLP]
MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs. [Citation Graph (, )][DBLP]
Choosing among alternative pasts. [Citation Graph (, )][DBLP]
A methodology for early validation of cache coherence protocols based on relational databases. [Citation Graph (, )][DBLP]
|