Sciweavers

5600 search results - page 470 / 1120
» Synthesizing robust systems
Sort
View
RTAS
2005
IEEE
16 years 14 days ago
Hybrid Supervisory Utilization Control of Real-Time Systems
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
Xenofon D. Koutsoukos, Radhika Tekumalla, Balachan...
WDAG
2004
Springer
103views Algorithms» more  WDAG 2004»
16 years 7 days ago
Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed Systems
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
James Aspnes, Faith Ellen Fich, Eric Ruppert
HAPTICS
2003
IEEE
16 years 5 days ago
Haptic Interface for Hands-On Instruction in System Dynamics and Embedded Control
Haptic interface serves as an ideal context and platform for teaching both system dynamics and embedded control. At The University of Michigan, a traditional undergraduate mechani...
R. Brent Gillespie, Mark B. Hoffman, James S. Freu...
AUSAI
2003
Springer
16 years 4 days ago
Towards Automated Creation of Image Interpretation Systems
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
Ilya Levner, Vadim Bulitko, Lihong Li, Greg Lee, R...
ICVS
2003
Springer
16 years 3 days ago
A Software Architecture for Distributed Visual Tracking in a Global Vision Localization System
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
Sinisa Segvic, Slobodan Ribaric