default search action
PADTAD 2008: Seattle, WA, USA
- Shmuel Ur:
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008. ACM 2008, ISBN 978-1-60558-052-4 - Cyril Briquet, Pierre-Arnoul de Marneffe:
Reproducible testing of distributed software with middleware virtualization and simulation. 1 - Basile Schaeli, Roger D. Hersch:
Dynamic testing of flow graph based parallel applications. 2 - Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. 3 - Filippo Gioachin, Laxmikant V. Kalé:
Memory tagging in Charm++. 4 - Vijay Nagarajan, Rajiv Gupta:
Support for symmetric shadow memory in multiprocessors. 5 - Ali Jannesari, Walter F. Tichy:
On-the-fly race detection in multi-threaded programs. 6 - Zdenek Letko, Tomás Vojnar
, Bohuslav Krena:
AtomRace: data race and atomicity violation detector and healer. 7 - Jun Chen, Steve MacDonald:
Towards a better collaboration of static and dynamic analyses for testing concurrent programs. 8 - Ramesh Peri:
Software development tools for multi-core/parallel programming. 9 - Madan Musuvathi:
Systematic concurrency testing using CHESS. 10 - Eitan Farchi:
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. 11
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.
last updated on 2024-12-15 01:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: