Sciweavers

298 search results - page 1 / 60
» Abstract Fixpoint Computations with Numerical Acceleration M...
Sort
View
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 4 months ago
Abstract Fixpoint Computations with Numerical Acceleration Methods
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
Olivier Bouissou, Yassamine Seladji, Alexandre Cha...
ICA3PP
2010
Springer
13 years 9 months ago
Accelerating Euler Equations Numerical Solver on Graphics Processing Units
Abstract. Finite volume numerical methods have been widely studied, implemented and parallelized on multiprocessor systems or on clusters. Modern graphics processing units (GPU) pr...
Pierre Kestener, Frédéric Chât...
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 8 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
IPPS
2008
IEEE
13 years 11 months ago
GPU acceleration of numerical weather prediction
Weather and climate prediction software has enjoyed the benefits of exponentially increasing processor power for almost 50 years. Even with the advent of large-scale parallelism ...
John Michalakes, Manish Vachharajani
WWW
2003
ACM
14 years 5 months ago
Extrapolation methods for accelerating PageRank computations
We present a novel algorithm for the fast computation of PageRank, a hyperlink-based estimate of the "importance" of Web pages. The original PageRank algorithm uses the ...
Sepandar D. Kamvar, Taher H. Haveliwala, Christoph...