5314 search results - page 844 / 1063 » Hybrid Dynamic Programming |
194
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
174
click to vote
APLAS
2006
ACM
16 years 16 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
179
click to vote
PPOPP
2006
ACM
16 years 16 days ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
166
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
Finding just the right example to answer a question can be difficult for CS1 students and teachers. For this to work well there must be an intuitive interface coupled to an approp...
208
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...