43 search results - page 1 / 9 » The Elimination of Nesting in SPCF |
TLCA
2005
Springer
13 years 9 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
FOCS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--The generalized nested dissection method, developed by Lipton, Rose, and Tarjan, is a seminal method for solving a linear system Ax = b where A is a symmetric positive de...
VR
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper presents a novel dynamic control of multiple focal-plane projections. Our approach multiplexes the projectors’ focal-planes so that all the displayed images are focus...
SIAMSC
2010
12 years 11 months ago
2010
In this paper we present HUND, a hypergraph-based unsymmetric nested dissection ordering algorithm for reducing the fill-in incurred during Gaussian elimination. HUND has several i...
SAC
2002
ACM
13 years 4 months ago
2002
ACM
This paper presents a novel approach for the problem of generating tiled code for nested for-loops using a tiling transformation. Tiling or supernode transformation has been widel...