2 search results - page 1 / 1 » A Concurrent Portfolio Approach to SMT Solving |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...