An instrumentation technique for online analysis of multithreaded programs
By
BibTeX
@inproceedings{conf/ipps/RosuS04, author = "Rosu, Grigore and Sen, Koushik", title = "An Instrumentation Technique for Online Analysis of Multithreaded Programs", booktitle = "IPDPS", crossref = "conf/ipps/2004", ee = "http://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.1303344", keywords = "formal methods, sensor networks, real-time systems, software engineering", year = "2004", } @proceedings{conf/ipps/2004, title = "18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA", isbn = "0-7695-2132-0", publisher = "IEEE Computer Society", year = "2004", }