Sciweavers

1834 search results - page 39 / 367
» A Dynamic Multithreading Processor
Sort
View
ESOP
2009
Springer
16 years 1 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
16 years 13 days ago
Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler
Vijay Sundaresan, Daryl Maier, Pramod Ramarao, Mar...
130
Voted
SWAT
2004
Springer
131views Algorithms» more  SWAT 2004»
15 years 11 months ago
Design and Analysis of Dynamic Multithreaded Algorithms
Charles E. Leiserson
144
Voted
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...