536 search results - page 95 / 108 » A computer verified, monadic, functional implementation of t... |
107
Voted
SAC
2002
ACM
14 years 11 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
COMPUTER
2008
14 years 11 months ago
2008
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...
124
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
The advent of general purpose graphics processing units (GPGPU's) brings about a whole new platform for running numerically intensive applications at high speeds. Their multi-...
CLUSTER
2004
IEEE
15 years 3 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...