2302 search results - page 18 / 461 » The Evolution of Concurrent Programs |
IBM
1990
15 years 3 months ago
1990
IFIP
1998
Springer
15 years 3 months ago
1998
Springer
ICSE
2010
IEEE-ACM
15 years 3 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...
111
click to vote
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
102
click to vote
ENTCS
2008
14 years 11 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...