3307 search results - page 25 / 662 » The meaning of concurrent programs |
ESOP
2008
Springer
14 years 19 days ago
2008
Springer
PPOPP
2012
ACM
12 years 6 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...
SRDS
2000
IEEE
14 years 3 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
ATVA
2010
Springer
13 years 11 months ago
2010
Springer
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit