6800 search results - page 517 / 1360 » Testing with Functions as Specifications |
206
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
195
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The capacity region of the Finite-State Multiple Access Channel (FS-MAC) with feedback that may be an arbitrary time-invariant function of the channel output samples is considered....
210
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
200
click to vote
KI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...