1463 search results - page 240 / 293 » Performance Model for Speculative Simulation using Predictiv... |
145
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
153
Voted
ICCD
2002
IEEE
16 years 14 days ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
150
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
105
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
This paper develops analytic models that characterize the behavior of on-demand stored media content delivery using BitTorrent-like protocols. The models capture the effects of di...
153
Voted
MOBIQUITOUS
2007
IEEE
15 years 9 months ago
2007
IEEE
— The dynamic nature of mobile ad hoc networks poses fundamental challenges to the design of service composition schemes that can minimize the effect of service disruptions. Alth...