Sciweavers

1552 search results - page 119 / 311
» On the Complexity of Constant Propagation
Sort
View
DAC
2005
ACM
16 years 7 months ago
Power optimal dual-Vdd buffered tree considering buffer stations and blockages
This paper presents the first in-depth study on applying dual Vdd buffers to buffer insertion and multi-sink buffered tree construction for power minimization under delay constrai...
King Ho Tam, Lei He
ISBI
2002
IEEE
16 years 7 months ago
A novel non-diffractive reconstruction method for digital holographic microscopy
We present a new method for reconstructing digitally recorded off-axis Fresnel holograms. Currently-used reconstruction methods are based on the simulation and propagation of a re...
Michael Liebling, Thierry Blu, Etienne Cuche, Pier...
HPCA
2004
IEEE
16 years 6 months ago
Understanding Scheduling Replay Schemes
Modern microprocessors adopt speculative scheduling techniques where instructions are scheduled several clock cycles before they actually execute. Due to this scheduling delay, sc...
Ilhyun Kim, Mikko H. Lipasti
SIGCOMM
2006
ACM
16 years 11 days ago
Measurement-based models of delivery and interference in static wireless networks
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...
Charles Reis, Ratul Mahajan, Maya Rodrig, David We...
AMAI
2004
Springer
15 years 11 months ago
New Look-Ahead Schemes for Constraint Satisfaction
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
Kalev Kask, Rina Dechter, Vibhav Gogate