Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Polynomials
• Numerical analysis
• Interpolation
• Algebra
• Polynomial interpolation
• Affine arithmetic
• Numerical integration
• Lagrange polynomial
• Polynomial

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• RungeKutta methods
• Mathematical analysis
• Numerical analysis
• Mathematics
• Differential calculus
• Euler method
• Stiff equation
• Numerical integration
• Truncation error
• BogackiShampine method
• Affine arithmetic
• Integral

Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Metaphysics
• Fixed point
• Game theory
• Abstract interpretation
• Sequence
• Structure
• Dynamical system
• Model theory
• Series
• KnasterTarski theorem
• operator

Joint Decoding of Multiple-Description Network-Coded Data Lana Iwaza∗ , Michel Kieffer∗ , Leo Liberti‡ , and Khaldoun Al-Agha§ ∗ L2S - CNRS - SUPELEC - Univ Paris-Sud, 3 rue Joliot-Curie, FGif-sur-Yvette

Source URL: www.lix.polytechnique.fr

SYSTEMES RADIOFREQUENCE POUR LE SYNCHROTRON SOLEIL P. MARCHAND, M. DIOP, R. LOPES, J. POLIAN, F. RIBEIRO, T. RUAN, Synchrotron SOLEIL, SAINT-AUBIN - BP 38, FGIF sur Yvette CEDEX, France Résumé Le système RF de

Source URL: journees.accelerateurs.fr

LIST OF HOTELS Hotel Campanile 3 RUE JOLIOT CURIEGIF SUR YVETTE Phone: +booking :

Source URL: eeciinstitute.web-events.net

Mandag den 7. december klArtist Talk v/ Yvette Brackman About guest artist Yvette Brackman in the workshop: Mediating

Source URL: www.djk.nu

URL: http://www.swp.de/bietigheim/lokales/boennigheim/verkehr-soll-wieder-besser-fliessenhtml Autor: Susanne Yvette Walter, Verkehr durch Kirchheim soll wieder besser fließen KIRCHHEIM:

Source URL: www.koehler-leutwein.de