3387 search results - page 284 / 678 » Model-Checking for Real-Time Systems |
217
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses an approach for supporting soft realtime periodic tasks in Linux on performance asymmetric multicore platforms (AMPs). Such architectures consist of a large n...
172
click to vote
CIMCA
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
219
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
201
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
191
click to vote
RTAS
2005
IEEE
16 years 24 days ago
2005
IEEE
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 ...