Sciweavers

5329 search results - page 843 / 1066
» The Weighted Majority Algorithm
Sort
View
DAC
2003
ACM
16 years 6 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
DAC
2004
ACM
16 years 6 months ago
Adaptive data partitioning for ambient multimedia
In the near future, Ambient Intelligence (AmI) will become part of everyday life. Combining feature-rich multimedia with AmI (dubbed Ambient Multimedia for short) has the potentia...
Xiaoping Hu, Radu Marculescu
DAC
2004
ACM
16 years 6 months ago
Compact thermal modeling for temperature-aware design
Thermal design in sub-100nm technologies is one of the major challenges to the CAD community. In this paper, we first introduce the idea of temperature-aware design. We then propo...
Wei Huang, Mircea R. Stan, Kevin Skadron, Karthik ...
DAC
2005
ACM
16 years 6 months ago
A novel synthesis approach for active leakage power reduction using dynamic supply gating
: Due to exponential increase in subthreshold leakage with technology scaling and temperature increase, leakage power is becoming a major fraction of total power in the active mode...
Swarup Bhunia, Nilanjan Banerjee, Qikai Chen, Hami...
MICCAI
2003
Springer
16 years 6 months ago
Mesh Topology Identification for Mass-Spring Models
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
Gábor Székely, Gérald Bianchi...