1492 search results - page 98 / 299 » Concurrent programming in VISO |
139
click to vote
KDD
2010
ACM
15 years 1 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
145
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
132
click to vote
ICFP
2009
ACM
15 years 10 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...
106
click to vote
POPL
2010
ACM
16 years 18 days ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
104
click to vote
CONCURRENCY
2008
15 years 3 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...