360 search results - page 15 / 72 » A Method for the Verification of Haptic Algorithms |
FM
2008
Springer
14 years 11 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
MMSEC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we suggest an optimization approach for fingerprint authentication using genetic algorithms. Our application was planned so that it can be used without great effort...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
FGR
2006
IEEE
15 years 1 months ago
2006
IEEE
As an extension to prior work by the authors in the area of photometric normalisation for face verification, we apply these algorithms in a component-based framework. In particula...
170
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...