3909 search results - page 316 / 782 » Extreme Model Checking |
138
click to vote
TSE
2010
15 years 2 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
146
click to vote
TSMC
2010
14 years 10 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
135
click to vote
ICCD
2002
IEEE
16 years 23 days ago
2002
IEEE
— In this paper, we present a new interconnect delay model called Fitted Elmore delay (FED). FED is generated by approximating Hspice delay data using a curve fitting technique....
175
click to vote
3DIM
1997
IEEE
15 years 8 months ago
1997
IEEE
In this article we present a method for automatically constructing a solid (in the CAD sense) model of an unknown object from range images. The model acquisition system provides f...
121
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
: The MASC model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads. It supports a generalized associative style of parallel...