1557 search results - page 79 / 312 » Programming up to Congruence |
164
click to vote
PPOPP
2012
ACM
14 years 29 days ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
157
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
137
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
151
click to vote
FASE
2010
Springer
16 years 7 days ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
172
click to vote
ICPP
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper, we explore the use of hierarchically structured multiprocessor tasks (M-tasks) for programming multi-core cluster systems. These systems often have hierarchically s...