10848 search results - page 158 / 2170 » Programming in Biomolecular Computation |
149
click to vote
ECEASST
2006
15 years 4 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
116
click to vote
PPL
2008
15 years 4 months ago
2008
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
130
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
144
click to vote
CHI
2009
ACM
15 years 2 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
140
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...