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
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
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-11-15 19:20 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: