Sciweavers

1294 search results - page 43 / 259
» A Conditional Scheduling Approach to Designing Real-Time Sys...
Sort
View
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 8 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
RTSS
1995
IEEE
15 years 7 months ago
Managing Contention and Timing Constraints in a Real-Time Database System
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son
140
Voted
ECRTS
2008
IEEE
15 years 10 months ago
A Gravitational Task Model for Target Sensitive Real-Time Applications
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
Raphael Guerra, Gerhard Fohler
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 9 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
RTAS
2003
IEEE
15 years 9 months ago
Real-Time Support for Mobile Robotics
Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies,...
Huan Li, John Sweeney, Krithi Ramamritham, Roderic...