10848 search results - page 207 / 2170 » Programming in Biomolecular Computation |
130
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
172
click to vote
AAMAS
2011
Springer
14 years 8 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
156
click to vote
IJICT
2007
15 years 4 months ago
2007
We propose a parallel algorithm for dynamic slicing of distributed Java programs. Given a distributed Java program, we first construct an intermediate representation in the form o...
118
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
119
Voted
AMC
2007
15 years 5 months ago
2007
This short note explains how to use ready-to-use components of symbolic software to convert between the free cumulants and the moments of measures without sophisticated programming...