2477 search results - page 341 / 496 » First-Order Interactive Programming |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
100
Voted
ENTCS
2008
14 years 10 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
IJRR
2008
14 years 10 months ago
2008
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...
SIGCSE
2008
ACM
14 years 10 months ago
2008
ACM
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
SIGCSE
2008
ACM
14 years 10 months ago
2008
ACM
Research experiences for undergraduates are considered an effective means for increasing student retention and encouraging undergraduate students to continue on to graduate school...