469 search results - page 10 / 94 » Scheduler Modeling Based on the Controller Synthesis Paradig... |
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
AUTOMATICA
2004
14 years 9 months ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...
COST
2007
Springer
15 years 3 months ago
2007
Springer
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...