2019 search results - page 93 / 404 » Programming with Shared Data Abstractions |
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
JMLC
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
CP
2007
Springer
14 years 29 days ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...