1111 search results - page 116 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
143
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
130
click to vote
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
106
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
131
Voted
FORTE
2007
15 years 4 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
138
click to vote
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...