180 search results - page 19 / 36 » Program transformation for numerical precision |
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
AAAI
1996
15 years 1 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
PLDI
1997
ACM
15 years 3 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
SIGGRAPH
1994
ACM
15 years 3 months ago
1994
ACM
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...