Sciweavers

280 search results - page 2 / 56
» Abstract Threads
Sort
View
92
Voted
VMCAI
2010
Springer
16 years 28 days ago
Abstract Threads
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
102
Voted
APLAS
2009
ACM
15 years 10 months ago
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...
106
Voted
FPL
2008
Springer
100views Hardware» more  FPL 2008»
15 years 5 months ago
A portable abstraction layer for hardware threads
Enno Lübbers, Marco Platzner
117
Voted
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
15 years 1 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
101
Voted
CLUSTER
2008
IEEE
15 years 10 months ago
Message progression in parallel computing - to thread or not to thread?
Abstract—Message progression schemes that enable communication and computation to be overlapped have the potential to improve the performance of parallel applications. With curre...
Torsten Hoefler, Andrew Lumsdaine