![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
PADTAD 2009: Chicago, IL, USA
- Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer:
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM 2009, ISBN 978-1-60558-655-7 - Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel:
Run-time conformance checking of mobile and distributed systems using executable models. - Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni:
Some resources for teaching concurrency. - João Lourenço
, Ricardo J. Dias
, João Luís, Miguel Rebelo, Vasco Pessanha:
Understanding the behavior of transactional memory applications. - Gabor Szeder:
Unit testing for multi-threaded Java programs. - Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter:
MulticoreSDK: a practical and efficient data race detector for real-world applications. - Fancong Zeng:
Pattern-driven deadlock avoidance. - Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi:
Forcing small models of conditions on program interleaving for detection of concurrent bugs. - Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan:
SideTrack: generalizing dynamic atomicity analysis. - Neha Rungta, Eric G. Mercer:
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. - Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer:
An annotation assistant for interactive debugging of programs with common synchronization idioms. - Yasushi Negishi, Hiroki Murata, Takao Moriyama:
A proposal of operation history management system for source-to-source optimization of HPC programs.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.