<--- Back to Details
First PageDocument Content
Bouygues / Châtenay-Malabry / Gif-sur-Yvette / Infrastructure / France / French society / Grandes écoles / Supélec / École centrale Paris
Date: 2015-02-17 04:16:00
Bouygues
Châtenay-Malabry
Gif-sur-Yvette
Infrastructure
France
French society
Grandes écoles
Supélec
École centrale Paris

Communiqué de presse octobre 2006

Add to Reading List

Source URL: www.ecp.fr

Download Document from Source Website

File Size: 106,64 KB

Share Document on Facebook

Similar Documents

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

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

DocID: 1xVef - View Document

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

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

DocID: 1xTIX - View Document

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

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

DocID: 1xTxf - View Document

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

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

DocID: 1xTeu - View Document

ZF-HEALTH Workshop: ZF-HEALTH resources for in silico experimentation VIBE-Z – BioEmergences – MecaGen June 1-3, 2013 Gif-sur-Yvette France

DocID: 1tY5j - View Document