Sciweavers

152 search results - page 3 / 31
» In time alone: on the computational power of querying the hi...
Sort
View
CONCUR
2007
Springer
13 years 11 months ago
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
Martin Lange
ICDE
2010
IEEE
292views Database» more  ICDE 2010»
14 years 5 months ago
Exploring Power-Performance Tradeoffs in Database Systems
With the total energy consumption of computing systems increasing in a steep rate, much attention has been paid to the design of energy-efficient computing systems and applications...
Zichen Xu, Yi-Cheng Tu, Xiaorui Wang
DAC
2001
ACM
14 years 6 months ago
Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems
This paper addresses battery-aware static scheduling in batterypowered distributed real-time embedded systems. As suggested by previous work, reducing the discharge current level ...
Jiong Luo, Niraj K. Jha
ICDE
2000
IEEE
144views Database» more  ICDE 2000»
14 years 6 months ago
Power Conservative Multi-Attribute Queries on Data Broadcast
In this paper, we study power conservation techniques for multi-attribute queries on wireless data broadcast channels. Indexing data on broadcast channels can improve client filte...
Qinglong Hu, Wang-Chien Lee, Dik Lun Lee
ICCAD
2003
IEEE
221views Hardware» more  ICCAD 2003»
14 years 2 months ago
Combined Dynamic Voltage Scaling and Adaptive Body Biasing for Heterogeneous Distributed Real-time Embedded Systems
Abstract— Dynamic voltage scaling (DVS) is a powerful technique for reducing dynamic power consumption in a computing system. However, as technology feature size continues to sca...
Le Yan, Jiong Luo, Niraj K. Jha