Sciweavers

1420 search results - page 136 / 284
» A Framework for Scheduler Synthesis
Sort
View
HYBRID
2007
Springer
16 years 1 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
JCIT
2010
113views more  JCIT 2010»
15 years 1 months ago
Dynamic Integrated Algorithm for Production Scheduling Based on Iterative Search
It is quite difficult to adapt to the changing production scheduling problem for an algorithm of a certain question. According to this, a strategy of dynamic integrated iterative ...
Cunli Song, Xiaobing Liu, Wei Wang, Ming Huang
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
16 years 16 days ago
Extensible and Scalable Time Triggered Scheduling
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanaja...
MJ
2006
89views more  MJ 2006»
15 years 6 months ago
RTDT: A static QoS manager, RT scheduling, HW/SW partitioning CAD tool
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
Hedi Tmar, Jean-Philippe Diguet, Abdenour Azzedine...
AUTOMATICA
2007
82views more  AUTOMATICA 2007»
15 years 7 months ago
Simulation-based optimal sensor scheduling with application to observer trajectory planning
The sensor scheduling problem can be formulated as a controlled hidden Markov model and this paper solves the problem when the state, observation and action spaces are continuous....
Sumeetpal S. Singh, Nikolaos Kantas, Ba-Ngu Vo, Ar...