3235 search results - page 69 / 647 » Partial Redundant Modeling |
151
click to vote
ENTCS
2006
15 years 3 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
135
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
145
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
121
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
150
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Varying illumination and partial occlusion are two main difficulties in visual tracking. Existing methods based on appearance information cannot solve these problems effectively s...