Sciweavers

212 search results - page 36 / 43
» queue 2010
Sort
View
CORR
2010
Springer
98views Education» more  CORR 2010»
14 years 6 months ago
Scheduling with Rate Adaptation under Incomplete Knowledge of Channel/Estimator Statistics
In time-varying wireless networks, the states of the communication channels are subject to random variations, and hence need to be estimated for efficient rate adaptation and sched...
Wenzhuo Ouyang, Sugumar Murugesan, Atilla Eryilmaz...
CORR
2010
Springer
231views Education» more  CORR 2010»
14 years 6 months ago
Delay-Based Back-Pressure Scheduling in Multi-Hop Wireless Networks
Scheduling is a critical and challenging resource allocation mechanism for multi-hop wireless networks. It is well known that scheduling schemes that give a higher priority to the ...
Bo Ji, Changhee Joo, Ness B. Shroff
AMAST
2010
Springer
14 years 4 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
CORR
2010
Springer
195views Education» more  CORR 2010»
14 years 4 months ago
Energy Optimal Transmission Scheduling in Wireless Sensor Networks
One of the main issues in the design of sensor networks is energy efficient communication of time-critical data. Energy wastage can be caused by failed packet transmission attempts...
Rahul Srivastava, Can Emre Koksal
PE
2010
Springer
135views Optimization» more  PE 2010»
14 years 4 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek