1114 search results - page 103 / 223 » An Architecture for Peer-to-peer Reasoning |
166
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Accurate power estimation is essential for low power digital CMOS circuit design. Power dissipation is input pattern dependent. To obtain an accurate power estimate, a large input...
167
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
165
click to vote
AUTONOMICS
2007
ACM
15 years 10 months ago
2007
ACM
In recent years we have witnessed a great increase in the interest in Trust Management (TM) techniques both from the industrial and the academic sectors. The booming research has ...
153
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Combining an "anomaly" and a "misuse" IDSes offers the advantage of separating the monitored events between normal, intrusive or unqualified classes (ie not kn...
181
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...