1360 search results - page 146 / 272 » Reasoning on Workflow Executions |
126
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
161
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
128
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
131
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Real-time systems are often designed using preemptive scheduling to guarantee the execution of high priority tasks. For multiple reasons there is a great interest in exploring non...
148
click to vote
APCSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Scheduling algorithms significantly affect the performance of a realtime system. In systems with power constraints, context switches in a schedule result in wasted power ...