2714 search results - page 362 / 543 » Approximation Schemes for Scheduling |
202
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
116
Voted
ICCD
2007
IEEE
16 years 17 days ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
135
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
127
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we describe and analyze the design of a joint Transport, Routing and Spectrum Sharing (TRSS) optimization algorithm for wireless networks with frequencyagile radi...
154
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—We consider wireless mesh networks, and exploit the inherent broadcast nature of wireless by making use of multipath routing. We present an optimization framework that enables u...