Sciweavers

1379 search results - page 71 / 276
» Dynamic Program Slicing in Understanding of Program Executio...
Sort
View
130
Voted
AMS
2005
Springer
112views Robotics» more  AMS 2005»
15 years 10 months ago
Combining Learning and Programming for High-Performance Robot Controllers
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
Alexandra Kirsch, Michael Beetz
ICFP
2007
ACM
15 years 8 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
VEE
2005
ACM
119views Virtualization» more  VEE 2005»
15 years 10 months ago
A programmable microkernel for real-time systems
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A...
IAT
2006
IEEE
15 years 10 months ago
Towards High-Level Programming for Distributed Problem Solving
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
Ryan F. Kelly, Adrian R. Pearce
ICALT
2006
IEEE
15 years 10 months ago
ANNANN - Next Steps for Scaffolding Learning About Programs
It is difficult for a student to learn how to program and to build an understanding of the rationale which underpins the development of a program’s componentparts. Conventional ...
Su White, Clare J. Hooper, Leslie Carr, Timothy P....