2036 search results - page 374 / 408 » A generic type-and-effect system |
106
Voted
JPDC
2007
15 years 12 days ago
2007
This paper discusses algorithmic and implementation aspects of a distributed remote visualization system that optimally decomposes and adaptively maps the visualization pipeline t...
130
Voted
CORR
2002
Springer
15 years 10 days ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
111
Voted
ELECTRONICMARKETS
1998
15 years 6 days ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
100
click to vote
SIAMSC
2010
14 years 11 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
110
click to vote
PADL
2012
Springer
13 years 8 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...