Sciweavers

254 search results - page 25 / 51
» Linear Arithmetic with Stars
Sort
View
DAC
2006
ACM
16 years 4 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...
FOCS
1992
IEEE
15 years 7 months ago
Maximizing Non-Linear Concave Functions in Fixed Dimension
Consider a convex set P in IRd and a piecewise polynomial concave function F: P IR. Let A be an algorithm that given a point x IRd computes F(x) if x P, or returns a concave po...
Sivan Toledo
109
Voted
ASPDAC
2007
ACM
87views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Topology exploration for energy efficient intra-tile communication
With technology nodes scaling down, the energy consumed by the on-chip intra-tile interconnects is beginning to have a significant impact on the total chip energy. The Energyoptima...
Jin Guo, Antonis Papanikolaou, Francky Catthoor
131
Voted
FLAIRS
2006
15 years 5 months ago
Automated Classification of Astronomical Objects in Multispectral Wide-Field Images
In this paper we present an automated method for classifying astronomical objects in multispectral wide-field images. The method is divided into three main tasks. The first one co...
Jorge de la Calleja, Olac Fuentes
149
Voted
DM
2008
86views more  DM 2008»
15 years 3 months ago
Hamiltonian properties of triangular grid graphs
A triangular grid graph is a finite induced subgraph of the infinite graph associated with the two-dimensional triangular grid. In 2000, Reay and Zamfirescu showed that all 2-conne...
Valery S. Gordon, Yury L. Orlovich, Frank Werner