Sciweavers

1834 search results - page 39 / 367
» A Dynamic Multithreading Processor
Sort
View
ESOP
2009
Springer
14 years 3 months 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...
CGO
2006
IEEE
14 years 2 months ago
Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler
Vijay Sundaresan, Daryl Maier, Pramod Ramarao, Mar...
CAV
2007
Springer
117views Hardware» more  CAV 2007»
14 years 26 days ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...