566 search results - page 36 / 114 » Array Abstractions from Proofs |
149
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
HUMO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper introduces a hand tracking system with a theoretical proof of convergence. The tracking system follows a model-based approach and uses image-based cues, namely...
156
click to vote
JFPLC
2004
15 years 2 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
134
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper presents a recently developed handheld biochip-based microsystem. The microsystem is based on a magneto-resistive array biochip composed of a number of sensi...