Sciweavers

31 search results - page 5 / 7
» Effective graph theoretic techniques for the generalized low...
Sort
View
NIPS
2007
13 years 7 months ago
Linear programming analysis of loopy belief propagation for weighted matching
Loopy belief propagation has been employed in a wide variety of applications with great empirical success, but it comes with few theoretical guarantees. In this paper we investiga...
Sujay Sanghavi, Dmitry M. Malioutov, Alan S. Wills...
ICCD
2001
IEEE
121views Hardware» more  ICCD 2001»
14 years 2 months ago
Determining Schedules for Reducing Power Consumption Using Multiple Supply Voltages
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...
Noureddine Chabini, El Mostapha Aboulhamid, Yvon S...
ICIP
2010
IEEE
13 years 3 months ago
Joint color decrosstalk and demosaicking for CFA cameras
In interest of low cost, low power consumption, and compact size, most digital cameras adopt a design of single sensor array coupled with a color filter array. This design inevita...
Xiaolin Wu, Xiangjun Zhang
ICFP
2007
ACM
14 years 5 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
VLSID
2002
IEEE
172views VLSI» more  VLSID 2002»
14 years 6 months ago
Improvement of ASIC Design Processes
With device counts on modern-day ASICs crossing the 10 million mark, careful planning of an ASIC design project is necessary to meet time deadlines. Two problems arise in this con...
Vineet Sahula, C. P. Ravikumar, D. Nagchoudhuri