1781 search results - page 149 / 357 » Visualizing program execution using user abstractions |
113
Voted
HPCA
2004
IEEE
16 years 2 months ago
2004
IEEE
Reducing energy consumption has become one of the major challenges in designing future computing systems. This paper proposes a novel idea of using program counters to predict I/O...
105
Voted
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
103
click to vote
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
129
Voted
ICRA
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract— Reinforcement learning algorithms have been successfully applied in robotics to learn how to solve tasks based on reward signals obtained during task execution. These r...
122
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...