Sciweavers

176 search results - page 15 / 36
» Relating Time Progress and Deadlines in Hybrid Systems
Sort
View
RTAS
2010
IEEE
13 years 6 months ago
Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks
The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task manage...
Michael Short
HYBRID
1994
Springer
14 years 21 days ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
RTDB
1996
131views more  RTDB 1996»
13 years 10 months ago
Value-cognizant Admission Control Strategies for Real-Time DBMS
We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. Th...
Azer Bestavros, Sue Nagy
GW
2009
Springer
195views Biometrics» more  GW 2009»
13 years 6 months ago
Continuous Realtime Gesture Following and Recognition
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
Frédéric Bevilacqua, Bruno Zamborlin...
RTAS
2010
IEEE
13 years 7 months ago
Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
Farhana Dewan, Nathan Fisher