Sciweavers

251 search results - page 33 / 51
» The Case for Higher-Level Power Management
Sort
View
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
14 years 9 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
WIOPT
2010
IEEE
14 years 8 months ago
On the use of packet scheduling in self-optimization processes: Application to coverage-capacity optimization
—Self-organizing networks (SON) is commonly seen as a way to increase network performance while simplifying its management. This paper investigates Packet Scheduling (PS) in the ...
Richard Combes, Zwi Altman, Eitan Altman
ICASSP
2011
IEEE
14 years 1 months ago
Optimal radio access in femtocell networks based on markov modeling of interferers' activity
One of the most critical issues in femtocell network deployment is interference management, especially for femtocells sharing the spectrum occupied by conventional cellular networ...
Sergio Barbarossa, Alessandro Carfagna, Stefania S...
ASPLOS
2011
ACM
14 years 1 months ago
Mementos: system support for long-running computation on RFID-scale devices
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
Benjamin Ransford, Jacob Sorber, Kevin Fu
92
Voted
CASES
2004
ACM
15 years 1 months ago
Reducing energy consumption of queries in memory-resident database systems
The tremendous growth of system memories has increased the capacities and capabilities of memory-resident embedded databases, yet current embedded databases need to be tuned in or...
Jayaprakash Pisharath, Alok N. Choudhary, Mahmut T...