1445 search results - page 206 / 289 » Properties of state spaces and their applications |
130
click to vote
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
105
click to vote
SRDS
2005
IEEE
15 years 7 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
125
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
129
click to vote
AAAI
2007
15 years 4 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
134
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...