6201 search results - page 1035 / 1241 » Implementation of Axiomatic Language |
167
click to vote
ADBIS
2004
Springer
15 years 12 months ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
153
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
139
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
174
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
183
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...