1113 search results - page 198 / 223 » Counter Systems for Data Logics |
107
Voted
GLVLSI
1998
IEEE
15 years 4 months ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
110
click to vote
EDBT
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...
114
click to vote
FMCAD
1998
Springer
15 years 4 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
ECAI
1994
Springer
15 years 3 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...