10848 search results - page 369 / 2170 » Programming in Biomolecular Computation |
171
click to vote
IEEEPACT
2006
IEEE
16 years 25 days ago
2006
IEEE
A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and reoptimizing libraries for fast-changing and increasingly com...
179
click to vote
ICPP
2005
IEEE
16 years 12 days ago
2005
IEEE
We show how a series of transformations can be applied to a sequential program to obtain programs that represent successive steps in exploiting parallelism in the original algorit...
186
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
194
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
191
click to vote
TOCS
2002
15 years 6 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...