Sciweavers

1834 search results - page 39 / 367
» A Dynamic Multithreading Processor
Sort
View
ESOP
2009
Springer
16 years 23 days ago
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
Caitlin Sadowski, Stephen N. Freund, Cormac Flanag...
CAV
2007
Springer
117views Hardware» more  CAV 2007»
15 years 10 months ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...