Sciweavers

1161 search results - page 77 / 233
» Resource Modeling for Timed Creol Models
Sort
View
83
Voted
CIE
2005
Springer
15 years 9 months ago
Complexity of Continuous Space Machine Operations
We investigate the computational complexity of an optical model of computation called the continuous space machine (CSM). We characterise worst case resource growth over time for e...
Damien Woods, J. Paul Gibson
129
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
Service Time Approximation in IEEE 802.11 Single-Hop Ad-hoc Networks
Abstract— This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets succes...
Atef Abdrabou, Weihua Zhuang
161
Voted
RTSS
2003
IEEE
15 years 8 months ago
Scheduling Real-Time Dwells Using Tasks with Synthetic Periods
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...
Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra ...
146
Voted
AAAI
2007
15 years 5 months ago
Nonmyopic Informative Path Planning in Spatio-Temporal Models
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
Alexandra Meliou, Andreas Krause, Carlos Guestrin,...
128
Voted
DASFAA
2009
IEEE
152views Database» more  DASFAA 2009»
15 years 10 months ago
Predicting Timing Failures in Web Services
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
Nuno Laranjeiro, Marco Vieira, Henrique Madeira