13271 search results - page 244 / 2655 » Computers, Programming, and People |
149
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: In this paper we explore the possibilities to perform the search for results of non-deterministic computations in parallel. We present three different approaches to this problem:...
173
click to vote
TLCA
2005
Springer
16 years 23 hour 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...
155
click to vote
ASPLOS
2000
ACM
15 years 11 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...
187
click to vote
ISBRA
2010
Springer
16 years 1 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...
202
click to vote
ISORC
1999
IEEE
15 years 10 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...