515 search results - page 18 / 103 » Efficient Logic Optimization Using Regularity Extraction |
DSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
111
click to vote
CASES
2003
ACM
15 years 5 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
221
click to vote
ICDE
1996
IEEE
16 years 1 months ago
1996
IEEE
This paper presents a difference calculus for determining changes to rule conditions in an active DBMS. The calculus has been used for implementing an algorithm to efficiently mon...
CADE
2008
Springer
16 years 15 hour ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...