1559 search results - page 187 / 312 » The Semantics of Future and Its Use in Program Optimizations |
201
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
Multicore processors have become ubiquitous in today’s systems, but exploiting the parallelism they offer remains difficult, especially for legacy application and applications ...
213
click to vote
PATMOS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
168
Voted
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...
182
click to vote
ALDT
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. An optimal probabilistic-planning algorithm solves a problem, usually modeled by a Markov decision process, by finding its optimal policy. In this paper, we study the k ...
182
Voted
UTP
2010
15 years 3 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...