1492 search results - page 98 / 299 » Concurrent programming in VISO |
122
click to vote
KDD
2010
ACM
14 years 10 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...
125
click to vote
TACAS
2012
Springer
13 years 8 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...
105
click to vote
ICFP
2009
ACM
15 years 7 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...
87
Voted
POPL
2010
ACM
15 years 9 months 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...
CONCURRENCY
2008
15 years 15 days 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...