2477 search results - page 43 / 496 » Parallelizing Functional Programs by Generalization |
DAGSTUHL
2006
14 years 11 months ago
2006
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical "black box" function drawn from some set of such bl...
80
Voted
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
80
Voted
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
GECCO
2007
Springer
2007
Springer
Exploring medical data using visual spaces with genetic programming and implicit functional mappings
15 years 3 months ago
Two medical data sets (Breast cancer and Colon cancer) are investigated within a visual data mining paradigm through the unsupervised construction of virtual reality spaces using ...
APPT
2007
Springer
14 years 11 months ago
2007
Springer
Dynamic programming is a widely applied algorithm design technique in many areas such as computational biology and scientific computing. Typical applications using this technique a...