1219 search results - page 79 / 244 » Verification of Equivalent-Results Methods |
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
We present a comparison of several face representation methods from the point of view of their sensitivity to illumination changes. The sensitivity is measured in terms of the ove...
CAV
1998
Springer
14 years 2 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
CAV
2001
Springer
14 years 1 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
FORTE
2004
13 years 11 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
SIAMCO
2008
13 years 10 months ago
2008
A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...