Sciweavers

26151 search results - page 73 / 5231
» Parameterized system design
Sort
View
SIGOPSE
2004
ACM
15 years 11 months ago
An approach to benchmarking configuration complexity
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
Aaron B. Brown, Joseph L. Hellerstein
SODA
2010
ACM
185views Algorithms» more  SODA 2010»
15 years 3 months ago
Solving MAX-r-SAT Above a Tight Lower Bound
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Sze...
DATE
2003
IEEE
101views Hardware» more  DATE 2003»
15 years 10 months ago
Energy Estimation for Extensible Processors
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj...
SI3D
1999
ACM
15 years 9 months ago
Localized-hierarchy surface splines (LeSS)
An explicit spline representation of smooth free-form surfaces is combined with a hierarchy of meshes to form the basis of an interactive sculpting environment. The environment of...
Carlos Gonzalez-Ochoa, Jörg Peters
VMV
2000
146views Visualization» more  VMV 2000»
15 years 6 months ago
Matching 3D Freeform Shapes to Digitized Objects
In this paper the problem of matching freeform surface features against measured point data is studied. The motivation for this investigation is the recent demand for fast and rob...
Joris S. M. Vergeest, Sander Spanjaard, Jos J. O. ...