2702 search results - page 44 / 541 » Practically Applicable Formal Methods |
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
CVPR
1999
IEEE
15 years 2 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
ACSW
2006
14 years 11 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...