Sciweavers

5339 search results - page 825 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
DAC
2005
ACM
16 years 7 months ago
Temperature-aware resource allocation and binding in high-level synthesis
Physical phenomena such as temperature have an increasingly important role in performance and reliability of modern process technologies. This trend will only strengthen with futu...
Rajarshi Mukherjee, Seda Ogrenci Memik, Gokhan Mem...
DAC
2005
ACM
16 years 7 months ago
Structural search for RTL with predicate learning
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting...
DAC
2006
ACM
16 years 7 months ago
Self-calibration technique for reduction of hold failures in low-power nano-scaled SRAM
Increasing source voltage (Source-Biasing) is an efficient technique for reducing gate and sub-threshold leakage of SRAM arrays. However, due to process variation, a higher source...
Swaroop Ghosh, Saibal Mukhopadhyay, Kee-Jong Kim, ...
MICCAI
2004
Springer
16 years 6 months ago
Real-Time Multi-model Tracking of Myocardium in Echocardiography Using Robust Information Fusion
Automatic myocardial wall motion tracking in ultrasound images is an important step in analysis of the heart function. Existing methods for Myocardial Wall Tracking are not robust ...
Bogdan Georgescu, Xiang Sean Zhou, Dorin Comaniciu...
MICCAI
2004
Springer
16 years 6 months ago
Non-rigid Atlas to Subject Registration with Pathologies for Conformal Brain Radiotherapy
Warping a digital atlas toward a patient image allows the simultaneous segmentation of several structures. This may be of great interest for cerebral images, since the brain contai...
Radu Stefanescu, Olivier Commowick, Grégoir...