Sciweavers

1399 search results - page 204 / 280
» Multi-party Finite Computations
Sort
View
IPPS
2006
IEEE
15 years 10 months ago
On the performance of parallel normalized explicit preconditioned conjugate gradient type methods
A new class of parallel normalized preconditioned conjugate gradient type methods in conjunction with normalized approximate inverses algorithms, based on normalized approximate f...
George A. Gravvanis, Konstantinos M. Giannoutakis
EGH
2003
Springer
15 years 9 months ago
A multigrid solver for boundary value problems using programmable graphics hardware
—We present a method for using programmable graphics hardware to solve a variety of boundary value problems. The time-evolution of such problems is frequently governed by partial...
Nolan Goodnight, Cliff Woolley, Gregory Lewin, Dav...
RT
2001
Springer
15 years 9 months ago
Thrifty Final Gather for Radiosity
Finite Element methods are well suited to the computation of the light distribution in mostly diffuse scenes, but the resulting mesh is often far from optimal to accurately represe...
Annette Scheel, Marc Stamminger, Hans-Peter Seidel
137
Voted
LICS
1996
IEEE
15 years 8 months ago
Integration in Real PCF
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
Abbas Edalat, Martín Hötzel Escard&oac...
FOCS
1992
IEEE
15 years 8 months ago
Efficient Inference of Partial Types
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
Dexter Kozen, Jens Palsberg, Michael I. Schwartzba...