208 search results - page 5 / 42 » Highly dependable concurrent programming using design for ve... |
90
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
101
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
144
Voted
JPDC
2006
15 years 11 days ago
2006
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
94
Voted
ISSTA
2010
ACM
15 years 18 days ago
2010
ACM
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
140
Voted
PPOPP
2006
ACM
15 years 6 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...