34 search results - page 4 / 7 » An Efficient Nominal Unification Algorithm |
158
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
124
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
With the emerging process variations in fabrication, the traditional corner-based timing optimization techniques become prohibitive. Buffer insertion is a very useful technique fo...
145
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
122
click to vote
ISLPED
2010
ACM
15 years 3 months ago
2010
ACM
Booth encoding is believed to yield faster multiplier designs with higher energy consumption. 16x16-bit Booth and NonBooth multipliers are analyzed in energy and delay space under...
140
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
In this note we consider a simple reformulation of the traditional power iteration algorithm for computing the stationary distribution of a Markov chain. Rather than communicate t...