102 search results - page 9 / 21 » An Integrated Framework for Checking Concurrency-Related Pro... |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
SOFTVIS
2010
ACM
13 years 7 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
DALT
2004
Springer
13 years 11 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...