2302 search results - page 119 / 461 » The Evolution of Concurrent Programs |
149
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
160
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...
212
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
158
click to vote
ECOOP
2007
Springer
16 years 13 days ago
2007
Springer
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
151
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
It is becoming increasingly clear that we are entering a new era in systems software. As the age-old tension between structure and performance acquiesces, we can finally venture b...