Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TV@FLoC"( http://dblp.L3S.de/Venues/TV@FLoC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/floc

Publication years (Num. hits)
2006 (9) 2007 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
TV@FLoC(10)
Authors
Ganesh Gopalakrishnan(2) John O'Leary(2) Arndt Mühlenfeld(1) Arvind(1) Bart Jacobs 0002(1) Frank Piessens(1) Franz Wotawa(1) Jalal Kawash(1) Jan Smans(1) Jan-Willem Maessen(1) John Regehr(1) LillAnne Jackson(1) Lisa Higham(1) Lukasz Ziarek(1) Nathan Cooprider(1) Philip Schatz(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ganesh Gopalakrishnan, John O'Leary (eds.) Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006 Search on Bibsonomy TV@FLoC The full citation details ... 2007 DBLP  BibTeX  RDF
1Lukasz Ziarek, Philip Schatz, Suresh Jagannathan Modular Checkpointing for Atomicity. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Regehr, Nathan Cooprider Interrupt Verification via Thread Verification. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shady Copty, Shmuel Ur Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robert P. Cook Thread Verification - An Experience Report. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lisa Higham, LillAnne Jackson, Jalal Kawash What is Itanium Memory Consistency from the Programmer's Point of View? Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jan-Willem Maessen, Arvind Store Atomicity for Transactional Memory. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Arndt Mühlenfeld, Franz Wotawa Fault Detection in Multi-Threaded C++ Server Applications. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ganesh Gopalakrishnan, John O'Leary Preface. Search on Bibsonomy TV@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license