-
Optimisation d'un dispositif hyper-sustentateur par algorithmes génétiques
Ce rapport présente l'optimisation des performances aérodynamiques d'un dispositif hyper-sustentateur par algorithmes génétiques. Un solveur de flot compressible fondé... -
C++ Classes for 2-D Unstructured Mesh Programming
In this report, a set of C++ classes is presented for representing unstructure- d triangular meshes of intrinsic dimension two; i.e. oriented 2-manifolds. For simple... -
A Multithreaded Runtime Environment with Thread Migration for HPF and C* Data...
This paper studies the benefits of compiling data-parallel languages onto a multithreaded runtime environment providing dynamic thread migration facility. Each... -
Vers une nouvelle approche du calcul scientifique en C++
Des exploitations judicieuses de facilités « génériques » de Standard C++ permettent de surpasser les performances atteintes par les implémentations courantes de... -
A Uniform Approach for Compile-time and Run-time Specialization
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application... -
Sequential Simulation in Prosit: Programming Model and Implementation
The §loop project, launched in 1995, works on three main domains: (1) discrete event simulation, (2) parallel object-oriented languages and (3) interconnection... -
A mechanistic basis for amplification differences between samples and between...
International audience -
Mechanized Formal Semantics and Verified Compilation for C++ Objects
C++ is one of the most widely used programming languages in practice, including for embedded critical software. Thus, it becomes interesting to apply formal methods to... -
Towards a software architecture for generic image processing
In the context of software engineering for image processing (IP), we consider the notion of reusability of algorithms. In many software tools, an algorithm's... -
Complex macromolecular dynamics: I. Estimation technique for time-resolved em...
International audience -
A C++ Frame Library : User Manual and Implementation Notes
This document briefly describes FrameLib, a C++ library to manipulate "frames" as they are used in the Artificial Intelligence world. The library provides a general... -
Interfacing Mathemagix with C++
8 pages -
Certification of a Tool Chain for Deductive Program Verification
This thesis belongs to the domain of software verification. The goalof verifying software is to ensure that an implementation, a program,satisfies the requirements,... -
Brute force nuclear orientation of $^{87}$Ym
We propose a "targeted" XML markup to computerize old dictionaries whose structure is "vague". It stands for a markup halfway between the "minimal" markup and the... -
Just an Asynchronous Computations Kernel: Developer's manual
Rapport interne. -
Just an Asynchronous Computations Kernel: Reference's manual
Rapport interne. -
La bibliothèque openMVG : open source Multiple View Geometry
National audience -
A new C++ workbench to develop discrete element simulations: GranOO
International audience -
J/$\psi$ and $\psi'$ production in p, O and S induced reactions at SPS energies
The production of the \jpsi\ and \psip\ charmonia states has been studied, through their dimuon decay, in proton, Oxygen and Sulphur induced reactions, by the NA38... -
A Generic Lazy Evaluation Scheme for Exact Geometric Computations
We present a generic C++ design to perform efficient and exact geometric computations using lazy evaluations. Exact geometric computations are critical for the...
