513 search results - page 34 / 103 » Reduction Transformations in ORM |
CAV
2001
Springer
15 years 3 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
The capability of predicting the temperature profile is critically important for timing estimation, leakage reduction, power estimation, hotspot avoidance and reliability concerns ...
104
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper proposes a pilot-aided joint channel estimation and synchronization scheme for burst-mode orthogonal frequency division multiplexing (OFDM) systems. The scheme eliminate...
112
click to vote
ISLPED
2005
ACM
15 years 5 months ago
2005
ACM
Disk power management is becoming increasingly important in high-end server and cluster type of environments that execute dataintensive applications. While hardware-only approache...
108
click to vote
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
We show that finding small solutions to random modular linear equations is at least as hard as approximating several lattice problems in the worst case within a factor almost line...