4502 search results - page 498 / 901 » Regular Model Checking |
231
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
We present a novel global stereo model that makes use of constraints from points with known depths, i.e., the Ground Control Points (GCPs) as referred to in stereo literature. Our...
173
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
199
Voted
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
171
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
169
click to vote
ADAEUROPE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...