Sciweavers

280 search results - page 2 / 56
» Abstract Threads
Sort
View
113
Voted
VMCAI
2010
Springer
16 years 3 months ago
Abstract Threads
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
124
Voted
APLAS
2009
ACM
16 years 10 days ago
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...
125
Voted
FPL
2008
Springer
100views Hardware» more  FPL 2008»
15 years 7 months ago
A portable abstraction layer for hardware threads
Enno Lübbers, Marco Platzner
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
15 years 3 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...
CLUSTER
2008
IEEE
16 years 8 days 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