-
PARA++ : C++ Bindings for Message Passing Libraries : User Guide
The aim of Para++ is to provide a user-level C++ interface to message passing libraries, by encapsulating the notions of processes and inter-processes communications... -
A Proposal to add Interval Arithmetic to the C++ Standard Library
Interval arithmetic is a basic tool for certified mathematical computations, it is presented in many references. We describe here the formal proposal to include... -
B-splines pour l'optimisation de forme
Ce rapport décrit mon travail de stage dont l'objectif était l'implémentation d'une bibliothèque sur les courbes et surfaces B-splines et l'utilisation de cette... -
Rmixmod: A MIXture MODelling R package
Rmixmod: A MIXture MODelling R package -
An experiment of generative programming on non-sequential structures: automata
This thesis is a contribution to software engineering applied to automata programming. It started with the simple need of an open automaton manipulation software,... -
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.
