40 search results - page 1 / 8 » Dynamic Cutoff Detection in Parameterized Concurrent Program... |
CAV
2010
Springer
13 years 7 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
EPIA
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
HVC
2005
Springer
13 years 10 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...