1420 search results - page 177 / 284 » A Framework for Scheduler Synthesis |
155
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
143
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
128
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
324
click to vote
VLSI
2012
Springer
14 years 1 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
157
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
This paper addresses decentralized multi-project scheduling under uncertainty. The problem instance we study is the scheduling of airport ground handling services, where aircraft ...