3307 search results - page 25 / 662 » The meaning of concurrent programs |
66
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
116
Voted
PPOPP
2012
ACM
13 years 8 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...
84
Voted
SRDS
2000
IEEE
15 years 5 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
15 years 4 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...
123
click to vote
ATVA
2010
Springer
15 years 26 days ago
2010
Springer
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit