Sciweavers

2355 search results - page 12 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
IJAIT
2008
99views more  IJAIT 2008»
13 years 9 months ago
Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...
Abid M. Malik, Jim McInnes, Peter van Beek
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
14 years 4 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
EMSOFT
2001
Springer
14 years 2 months ago
Rate-Based Resource Allocation Models for Embedded Systems
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
Kevin Jeffay, Steve Goddard
RTCSA
1999
IEEE
14 years 2 months ago
Scheduling Fixed-Priority Tasks with Preemption Threshold
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...
Yun Wang, Manas Saksena
IC3
2009
13 years 7 months ago
Energy Efficiency of Thermal-Aware Job Scheduling Algorithms under Various Cooling Models
One proposed technique to reduce energy consumption of data centers is thermal-aware job scheduling, i.e. job scheduling that relies on predictive thermal models to select among po...
Georgios Varsamopoulos, Ayan Banerjee, Sandeep K. ...