25 search results - page 4 / 5 » Partial Order Reduction for Verification of Real-Time Compon... |
FMICS
2008
Springer
13 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
ICCAD
2000
IEEE
13 years 10 months ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...
IPPS
2007
IEEE
14 years 1 days ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
We describe a probabilistic framework for recognizing human activities in monocular video based on simple silhouette observations in this paper. The methodology combines kernel pr...
MICCAI
2005
Springer
14 years 6 months ago
2005
Springer
An approach to the deformable registration of three-dimensional brain tumor images to a normal brain atlas is presented. The approach involves the integration of three components:...