8828 search results - page 252 / 1766 » Formal methods in practice |
161
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
163
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
171
click to vote
ISIM
2007
15 years 8 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
172
click to vote
CLA
2004
15 years 8 months ago
2004
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
164
click to vote
COLING
1996
15 years 8 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...