2514 search results - page 116 / 503 » The use of industrial-strength formal methods |
156
click to vote
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
221
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
170
click to vote
CLOR
2006
15 years 10 months ago
2006
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...
161
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
143
click to vote
CATS
2006
15 years 7 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...