936 search results - page 108 / 188 » Task Graph Scheduling Using Timed Automata |
HPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper investigates the scheduling of mixed-parallel applications, which exhibit both task and data parallelism, in advance reservations settings. Both the problem of minimizi...
102
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Leakage energy consumption is an increasing concern in current and future CMOS technologygenerations. Procrastination scheduling, where task execution can be delayed to maximize t...
133
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
: Hardware-software co-synthesis is the process of partitioning an embedded system specification into hardware and software modules to meet performance, power and cost goals. In t...
109
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
128
click to vote
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The RGCP (Robust Graph Coloring problem) is a new variant of the traditional graph coloring problem. It has numerous practical applications in real world like timetabling...