Sciweavers

5235 search results - page 27 / 1047
» Analysis of Multithreaded Programs
Sort
View
CAV
2007
Springer
117views Hardware» more  CAV 2007»
15 years 7 months ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...
96
Voted
IWMM
2000
Springer
67views Hardware» more  IWMM 2000»
15 years 7 months ago
Thread-Specific Heaps for Multi-Threaded Programs
Bjarne Steensgaard