2227 search results - page 113 / 446 » Reversibility and Models for Concurrency |
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
149
click to vote
ENTCS
2002
15 years 5 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
155
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
139
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
177
click to vote
VMCAI
2009
Springer
16 years 24 days ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...