7139 search results - page 951 / 1428 » Language Engineering in Practice |
170
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
199
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
184
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
188
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
155
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...