1492 search results - page 3 / 299 » Concurrent programming in VISO |
PLDI
2011
ACM
12 years 9 months ago
2011
ACM
PPOPP
2012
ACM
12 years 1 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
RV
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
APIN
1998
13 years 5 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
APLAS
2010
ACM
13 years 2 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the