Sciweavers

823 search results - page 37 / 165
» On Scheduling Tasks in Reliable Real-Time Control Systems
Sort
View
SI3D
1995
ACM
15 years 3 months ago
Behavioral Control for Real-Time Simulated Human Agents
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
John P. Granieri, Welton Becket, Barry D. Reich, J...
FSEN
2009
Springer
15 years 3 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
ECRTS
2007
IEEE
15 years 6 months ago
A Hybrid Real-Time Scheduling Approach for Large-Scale Multicore Platforms
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...
John M. Calandrino, James H. Anderson, Dan P. Baum...
ECRTS
2003
IEEE
15 years 5 months ago
Resource Partitioning among Real-Time Applications
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
Giuseppe Lipari, Enrico Bini
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 4 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David