2584 search results - page 100 / 517 » On the Forward Checking Algorithm |
ICSE
2001
IEEE-ACM
14 years 15 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
MVA
2000
13 years 7 months ago
2000
With the proliferation of different types of IC packages, there is a need for machine-vision-based inspection systems to be able to efficiently identify the orientation of IC packa...
FMSD
2002
13 years 7 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We propose a dynamic programming algorithm for finding optimal transmission policies for a single packet in ratedistortion optimized media streaming. The algorithm relies on an op...