Sciweavers

2650 search results - page 347 / 530
» Simulation and Control of Reactive Systems
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 9 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
RTSS
1994
IEEE
15 years 8 months ago
Bounding Worst-Case Instruction Cache Performance
The use of caches poses a difficult tradeoff for architects of real-time systems. While caches provide significant performance advantages, they have also been viewed as inherently...
Robert D. Arnold, Frank Mueller, David B. Whalley,...
CDC
2010
IEEE
185views Control Systems» more  CDC 2010»
14 years 11 months ago
Distributed perimeter patrolling and tracking for camera networks
In this work, we propose a distributed control strategy for perimeter patrolling and target tracking in a multi-camera videosurveillance system with communication, resources and sp...
Mauro Baseggio, Angelo Cenedese, Pierangelo Merlo,...
RTCSA
2003
IEEE
15 years 9 months ago
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
Anders Wall, Johan Andersson, Jonas Neander, Chris...
TCSV
2002
107views more  TCSV 2002»
15 years 3 months ago
Design, performance analysis, and implementation of a super-scalar video-on-demand system
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...
Jack Y. B. Lee, C. H. Lee