1420 search results - page 18 / 284 » A Framework for Scheduler Synthesis |
131
click to vote
ISCC
2006
IEEE
15 years 12 months ago
2006
IEEE
We present a new scheduling algorithm, which is a synthesis of all the remarkable features of pretransmission coordination-based protocols for broadcast and select star networks. ...
160
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
136
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
155
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Multicycling is a widely investigated technique for performance optimisation in behavioural synthesis. It allows an operation to execute over two or more control steps with the...
177
click to vote
DATE
2009
IEEE
16 years 21 days ago
2009
IEEE
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...