Sciweavers

1834 search results - page 39 / 367
» A Dynamic Multithreading Processor
Sort
View
77
Voted
ESOP
2009
Springer
15 years 7 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
15 years 6 months ago
Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler
Vijay Sundaresan, Daryl Maier, Pramod Ramarao, Mar...
79
Voted
SWAT
2004
Springer
131views Algorithms» more  SWAT 2004»
15 years 5 months ago
Design and Analysis of Dynamic Multithreaded Algorithms
Charles E. Leiserson
97
Voted
CAV
2007
Springer
117views Hardware» more  CAV 2007»
15 years 4 months ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...