959 search results - page 140 / 192 » Transfers between Logics and their Applications |
110
click to vote
VLSID
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
140
click to vote
CICLING
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
128
click to vote
VLDB
1991
ACM
15 years 5 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
111
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...