Abstract Fixpoint Computations with Numerical Acceleration Methods

13 years 4 months ago

Download www.lix.polytechnique.fr

Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gif-sur-Yvette, France Alexandre Chapoutot2 Universit

Olivier Bouissou, Yassamine Seladji, Alexandre Cha

Real-time Traffic

CORR 2010 | Education | Et Marie Curie | France Alexandre Chapoutot2 | Numerical Acceleration Methods |

claim paper

» Static Analysis of CLP Programs over Numeric Domains

» GPU acceleration of numerical weather prediction

» Extrapolation methods for accelerating PageRank computations

» Evaluation of dynamic scheduling methods in simulations of stormtime ion acceleration

» Microthreading as a Novel Method for Close Coupling of Custom Hardware Accelerators to SVP...

» A Reliable Area Reduction Technique for Solving Circle Packing Problems

» An Efficient Numerical Method for General Lp Regularization in Fluorescence Molecular Tomo...

» Beyond HYTECH Hybrid Systems Analysis Using Interval Numerical Methods

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

Comments (0)

Sciweavers

Abstract Fixpoint Computations with Numerical Acceleration Methods

CORR 2010 | Education | Et Marie Curie | France Alexandre Chapoutot2 | Numerical Acceleration Methods |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers