4895 search results - page 507 / 979 » Functional Quantum Programming |
204
click to vote
VALUETOOLS
2006
ACM
16 years 27 days ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
181
click to vote
FCT
2005
Springer
16 years 14 days ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
187
click to vote
IFL
2003
Springer
16 years 4 days ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
161
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
PM-PVM is a portable implementation of PVM designed to work on SMP architectures supporting multithreading. PM-PVM portability is achieved through the implementation of the PVM fu...
199
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...