Sciweavers

811 search results - page 114 / 163
» Flow Theory: An Enhancement
Sort
View
DAC
2006
ACM
14 years 9 months ago
Optimality study of resource binding with multi-Vdds
Deploying multiple supply voltages (multi-Vdds) on one chip is an important technique to reduce dynamic power consumption. In this work we present an optimality study for resource...
Deming Chen, Jason Cong, Yiping Fan, Junjuan Xu
ICFP
2007
ACM
14 years 8 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
ICCV
2005
IEEE
14 years 10 months ago
Non-Parametric Self-Calibration
In this paper we develop a theory of non-parametric self-calibration. Recently, schemes have been devised for non-parametric laboratory calibration, but not for selfcalibration. W...
David Nistér, Henrik Stewénius, Etie...
ICPR
2002
IEEE
14 years 9 months ago
Entropy Estimation and Multiscale Processing in Meteorological Satellite Images
A new model for the multiscale characterization of turbulence and chaotic information in digital images is presented. The model is applied to infrared satellite images for the det...
Antonio Turiel, Hussein M. Yahia, Jacopo Grazzini
DAC
2006
ACM
14 years 9 months ago
DAG-aware AIG rewriting a fresh look at combinational logic synthesis
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
Alan Mishchenko, Satrajit Chatterjee, Robert K. Br...