1663 search results - page 99 / 333 » Scheduling techniques for media-on-demand |
109
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
Register bypassing is a powerful and widely used feature in modern processors to eliminate certain data hazards. Although complete bypassing is ideal for performance, bypassing ha...
92
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
115
Voted
CAMAD
2006
IEEE
15 years 4 months ago
2006
IEEE
Switched Processing Systems (SPS) capture the essence of a fundamental resource allocation problem in many modern communication, computer and manufacturing systems involving hetero...
96
Voted
AAAI
2007
15 years 3 months ago
2007
We present black-box techniques for learning how to interleave the execution of multiple heuristics in order to improve average-case performance. In our model, a user is given a s...