4502 search results - page 55 / 901 » Regular Model Checking |
105
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
201
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
133
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
123
Voted
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
142
click to vote
CAGD
2002
15 years 1 months ago
2002
We present an adaptive, hierarchical Hh-multiresolution reconstruction algorithm to model shell surface objects from a matched pair of triangulated surfaces. Shell surfaces are an...