10848 search results - page 417 / 2170 » Programming in Biomolecular Computation |
166
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
169
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
156
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
163
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
164
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
This paper presents techniques for compiling loops with complex, indirect array accesses into loops whose array references have at most one level of indirection. The transformatio...