Sciweavers

3389 search results - page 354 / 678
» Real-Time and Fault-Tolerant Systems
Sort
View
CIMCA
2006
IEEE
16 years 27 days ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
RTAS
2006
IEEE
16 years 25 days ago
Real-Time Scheduling on Multicore Platforms
Multicore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power pr...
James H. Anderson, John M. Calandrino, UmaMaheswar...
RTAS
2006
IEEE
16 years 25 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
RTAS
2005
IEEE
16 years 12 days ago
Scheduling Messages with Deadlines in Multi-Hop Real-Time Sensor Networks
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
Huan Li, Prashant J. Shenoy, Krithi Ramamritham
RTAS
2003
IEEE
16 years 3 days 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...