11739 search results - page 38 / 2348 » Slideshow: functional presentations |
DBPL
1991
Springer
14 years 1 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
JCC
2002
13 years 9 months ago
2002
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
— This paper presents a tool, the Performance Model Manager, which addresses the complexity of the construction and management of a set of Functional Performance Models on a comp...
ICFP
1998
ACM
14 years 2 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...