6960 search results - page 11 / 1392 » Continuity Analysis of Programs |
SIGCSE
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we propose a new approach to thinking about and implementing Computer Science curricula in secondary education. The characteristic feature is to organize the items ...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Information technology (IT) is fundamentally altering the way in which healthcare is delivered to consumers, and offers the promise of improving patient safety, reducing medical e...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
UAI
2004
14 years 11 months ago
2004
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...
70
Voted
PPOPP
2010
ACM
15 years 6 months ago
2010
ACM
This paper addresses the problem of extracting coarse-grained parallelism from large sequential code. It builds on BOP, a system for software speculative parallelization. BOP lets...