![](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
TV@FLoC 2006: Seattle, WA, USA
- Ganesh Gopalakrishnan, John O'Leary:
Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006. Electronic Notes in Theoretical Computer Science 174(9), Elsevier 2007 - Ganesh Gopalakrishnan, John O'Leary:
Preface. 1-4 - Arndt Mühlenfeld, Franz Wotawa
:
Fault Detection in Multi-Threaded C++ Server Applications. 5-22 - Bart Jacobs
, Jan Smans, Frank Piessens, Wolfram Schulte:
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. 23-47 - Robert P. Cook:
Thread Verification - An Experience Report. 49-61 - Lisa Higham, LillAnne Jackson, Jalal Kawash:
What is Itanium Memory Consistency from the Programmer's Point of View? 63-84 - Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Modular Checkpointing for Atomicity. 85-115 - Jan-Willem Maessen, Arvind:
Store Atomicity for Transactional Memory. 117-137 - John Regehr, Nathan Cooprider:
Interrupt Verification via Thread Verification. 139-150 - Shady Copty, Shmuel Ur:
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. 151-165
![](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.