10848 search results - page 137 / 2170 » Programming in Biomolecular Computation |
139
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
129
click to vote
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
159
click to vote
ISBRA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
156
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...
170
click to vote
IPCO
2008
15 years 5 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...