9110 search results - page 1613 / 1822 » Formally-Based Design Evaluation |
153
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
136
click to vote
PERCOM
2010
ACM
15 years 8 months ago
2010
ACM
—Recent years have witnessed the wide adoption of the RFID technology in many important application domains including logistics, inventory, retailing, public transportation, and ...
154
Voted
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
143
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...
158
click to vote
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
As a key approach to achieve energy efficiency in sensor networks, sensing coverage has been studied extensively. Researchers have designed many coverage protocols to provide vario...