2582 search results - page 291 / 517 » Scheduling in a Planning Environment |
135
click to vote
ICDCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Providing up-to-date input to users’ applications is an important data management problem for a distributed computing environment, where each data storage location and intermedi...
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...
126
click to vote
RTAS
2010
IEEE
14 years 11 months ago
2010
IEEE
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...
135
Voted
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Today’s data centers face extreme challenges in providing low latency. However, fair sharing, a principle commonly adopted in current congestion control protocols, is far from o...
134
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...