Sciweavers

632 search results - page 56 / 127
» constraints 2000
Sort
View
ISLPED
2000
ACM
68views Hardware» more  ISLPED 2000»
14 years 2 days ago
Speeding up power estimation of embedded software
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
Akshaye Sama, J. F. M. Theeuwen, M. Balakrishnan
ISLPED
2000
ACM
94views Hardware» more  ISLPED 2000»
14 years 2 days ago
Algorithmic transforms for efficient energy scalable computation
We introduce the notion of energy scalable computation on general purpose processors. The principle idea is to maximize computational quality for a given energy constraint. The de...
Amit Sinha, Alice Wang, Anantha Chandrakasan
CL
2000
Springer
14 years 1 days ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
CL
2000
Springer
14 years 1 days ago
A Plan Fusion Algorithm for Multi-Agent Systems
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
Mathijs de Weerdt, André Bos, Hans Tonino, ...
DEXA
2000
Springer
82views Database» more  DEXA 2000»
14 years 1 days ago
A Qualitative Formalization of Built Environments
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Thomas Bittner