7197 search results - page 150 / 1440 » On the computational power of BlenX |
ICTAC
2007
Springer
15 years 4 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
ICNP
2003
IEEE
15 years 3 months ago
2003
IEEE
Network wide broadcasting is an energy intensive function. In this paper we propose a new method that performs transmission power adaptations based on information available locall...
103
click to vote
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
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...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
High efficiency low voltage DC-DC conversion is a key enabler to the design of power-efficient integrated circuits. Typically a star configuration of the DC-DC converters, where o...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
Communication-based power management (CBPM) is a new batterydriven system-level power management methodology in which the systemlevel communication architecture regulates the exec...