3387 search results - page 606 / 678 » Model-Checking for Real-Time Systems |
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
3DIM
2007
IEEE
14 years 3 months ago
2007
IEEE
Simultaneous capture of the texture and shape of a moving object in real time is expected to be applicable to various fields including virtual reality and object recognition. Two...