Sciweavers

6456 search results - page 43 / 1292
» Constraint Solving on Terms
Sort
View
130
Voted
DAC
2006
ACM
16 years 1 months ago
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
Eduardo A. C. da Costa, José Monteiro, Leve...
GLOBECOM
2009
IEEE
15 years 4 months ago
Distributed Power and Carrier Allocation in Multibeam Satellite Uplink with Individual SINR Constraints
Abstract--Current multibeam satellite systems perform centralized power and carrier allocation assuming a Multi-Frequency Time Division Multiple Access (MF-TDMA) scheme with fixed ...
J. E. Barcelo-Llado, Maria Angeles Vázquez-...
ISMB
1994
15 years 2 months ago
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
Dinesh Manocha, Yunshan Zhu
DAC
2005
ACM
16 years 1 months ago
An efficient algorithm for statistical minimization of total power under timing yield constraints
Power minimization under variability is formulated as a rigorous statistical robust optimization program with a guarantee of power and timing yields. Both power and timing metrics...
Murari Mani, Anirudh Devgan, Michael Orshansky
100
Voted
ISLPED
2009
ACM
184views Hardware» more  ISLPED 2009»
15 years 7 months ago
Online work maximization under a peak temperature constraint
Increasing power densities and the high cost of low thermal resistance packages and cooling solutions make it impractical to design processors for worst-case temperature scenarios...
Thidapat Chantem, Xiaobo Sharon Hu, Robert P. Dick