43 search results - page 2 / 9 » The Complexity of Predicting Atomicity Violations |
BMCBI
2011
13 years 4 days ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
IPPS
2008
IEEE
13 years 11 months ago
2008
IEEE
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...
SIGMOD
2006
ACM
14 years 5 months ago
2006
ACM
We propose to demonstrate Fa, an automated tool for timely and accurate prediction of Service-Level-Agreement (SLA) violations caused by performance problems in database systems. ...