1420 search results - page 18 / 284 » A Framework for Scheduler Synthesis |
ISCC
2006
IEEE
15 years 5 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. ...
CODES
2001
IEEE
15 years 3 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...
ECAI
2004
Springer
15 years 5 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...
ISCAS
2005
IEEE
15 years 5 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...
119
click to vote
DATE
2009
IEEE
15 years 6 months 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...