Sciweavers

984 search results - page 61 / 197
» ideas 2006
Sort
View
ICFP
2006
ACM
16 years 4 months ago
Boxy types: inference for higher-rank types and impredicativity
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. ...
DCC
2006
IEEE
16 years 3 months ago
Making the Correct Mistakes
We propose a new sequential, adaptive, quadratic-time algorithm for variable-rate lossy compression of memoryless sources at a fixed distortion. The algorithm uses approximate pat...
Dharmendra S. Modha, Narayana P. Santhanam
ICCAD
2006
IEEE
110views Hardware» more  ICCAD 2006»
16 years 29 days ago
Voltage island aware floorplanning for power and timing optimization
Power consumption is a crucial concern in nanometer chip design. Researchers have shown that multiple supply voltage (MSV) is an effective method for power consumption reduction....
Wan-Ping Lee, Hung-Yi Liu, Yao-Wen Chang
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
16 years 29 days ago
Temperature-aware leakage minimization technique for real-time systems
In this paper, we study the interdependency between leakage energy and chip temperature in real-time systems. We observe that the temperature variation on chip has a large impact ...
Lin Yuan, Sean Leventhal, Gang Qu
3DPVT
2006
IEEE
233views Visualization» more  3DPVT 2006»
15 years 10 months ago
Scanline Optimization for Stereo on Graphics Hardware
In this work we propose a scanline optimization procedure for computational stereo using a linear smoothness cost model performed by programmable graphics hardware. The main idea ...
Christopher Zach, Mario Sormann, Konrad F. Karner