3718 search results - page 327 / 744 » Programming by Integration in Robotics |
223
click to vote
CEFP
2007
Springer
16 years 28 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
214
click to vote
SCCC
2005
IEEE
16 years 10 days ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
191
click to vote
ECOOP
2004
Springer
16 years 4 days ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
158
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
The rapid growth of communication technologies and the invention of set-top-box (STB) and personal digital recorder (PDR) have enabled today’s television to receive and store tre...
167
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. The combination of a language with ne-grain implicit parallelism and a data
ow evaluation scheme is suitable for high-level programming on massively parallel architectur...