ENSTA ParisTech - PDFSEARCH.IO - Document Search Engine

ENSTA ParisTech
Results: 81

#	Item
1	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2012-12-19 06:23:54 Mathematics Mathematical analysis Analysis Computer arithmetic Numerical analysis Arithmetic Functions and mappings Differential calculus Interval arithmetic Rounding Derivative Integral
2	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 Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2013-01-16 16:02:10 Mathematics Mathematical analysis Analysis Polynomials Numerical analysis Interpolation Algebra Polynomial interpolation Affine arithmetic Numerical integration Lagrange polynomial Polynomial
3	An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174, Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2012-12-19 06:23:54
4	Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse Add to Reading List Source URL: perso.ensta-paristech.fr Language: French - Date: 2012-12-19 06:23:56
5	The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2010-09-20 10:06:48 Mathematics Computability theory Computer programming Theoretical computer science Software engineering Subroutines Recursion Continuous function Recurrence relation Computable topology
6	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 Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2013-04-29 03:43:32 RungeKutta methods Mathematical analysis Numerical analysis Mathematics Differential calculus Euler method Stiff equation Numerical integration Truncation error BogackiShampine method Affine arithmetic Integral
7	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 Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2012-12-19 06:23:54 Mathematics Metaphysics Fixed point Game theory Abstract interpretation Sequence Structure Dynamical system Model theory Series KnasterTarski theorem operator
8	PDF Document Add to Reading List Source URL: uma.ensta-paristech.fr - Date: 2018-03-27 05:33:02
9	PDF Document Add to Reading List Source URL: uma.ensta-paristech.fr - Date: 2015-06-19 08:38:03