Sciweavers

2355 search results - page 47 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
HYBRID
2007
Springer
14 years 4 months ago
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
Pau Martí, Manel Velasco
JOT
2006
109views more  JOT 2006»
13 years 10 months ago
UML 2.0 Notation for Modeling Real Time Task Scheduling
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
María Cruz Valiente, Gonzalo Génova,...
CAV
2009
Springer
116views Hardware» more  CAV 2009»
14 years 2 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
DAC
1995
ACM
14 years 1 months ago
Conflict Modelling and Instruction Scheduling in Code Generation for In-House DSP Cores
Application domain specific DSP cores are becoming increasingly popular due to their advantageous trade–off between flexibility and cost. However, existing code generation metho...
Adwin H. Timmer, Marino T. J. Strik, Jef L. van Me...
ISQED
2007
IEEE
162views Hardware» more  ISQED 2007»
14 years 4 months ago
Balanced Scheduling and Operation Chaining in High-Level Synthesis for FPGA Designs
In high-level synthesis for FPGA designs, scheduling and chaining of operations for optimal performance remain challenging problems. In this paper, we present a balanced schedulin...
David Zaretsky, Gaurav Mittal, Robert P. Dick, Pri...