2035 search results - page 215 / 407 » On the complexity of stratified logics |
155
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
172
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
157
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
155
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...
179
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...