Sciweavers

3387 search results - page 20 / 678
» Model-Checking for Real-Time Systems
Sort
View
RTCSA
2007
IEEE
14 years 1 months ago
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems
Guillaume Salagnac, Christophe Rippert, Sergio Yov...
IPPS
2002
IEEE
14 years 13 days ago
A Framework for Using Benefit Functions In Complex Real Time Systems
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
David L. Andrews, Lonnie R. Welch, David M. Chelbe...
SCS
2004
13 years 9 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone
RTCSA
2005
IEEE
14 years 1 months ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani
RTCSA
2009
IEEE
14 years 2 months ago
The Impact of Variability on Soft Real-Time System Scheduling
Nilabja Roy, Nathan Hamm, Manish Madhukar, Douglas...