3750 search results - page 54 / 750 » Timed Automata Patterns |
IPPS
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
ADAEUROPE
2008
Springer
13 years 9 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
FMSB
2008
13 years 9 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...