Sciweavers

2902 search results - page 227 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
15 years 10 months ago
NIMS-AQ: A novel system for autonomous sensing of aquatic environments
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
Michael J. Stealey, Amarjeet Singh 0003, Maxim A. ...
RTSS
2006
IEEE
15 years 10 months ago
Delay Analysis in Temperature-Constrained Hard Real-Time Systems with General Task Arrivals
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
Shengquan Wang, Riccardo Bettati
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 8 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
CCGRID
2002
IEEE
15 years 9 months ago
Tracing a Large-Scale Peer to Peer System: An Hour in the Life of Gnutella
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
Evangelos P. Markatos
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
15 years 11 months ago
Supporting Generic Cost Models for Wide-Area Stream Processing
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...
Olga Papaemmanouil, Ugur Çetintemel, John J...