-
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... -
A proposal for the C++ standard : Bool_set, multi-valued logic
We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be... -
A C++ Template-Based Reinforcement Learning Library: Fitting the Code to the ...
International audience -
Neutral meson production in p-Be and p-Au collisions at 450 GeV beam energy
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... -
Multi-shape Tasks Scheduling for Online Multitasking on FPGAs
International audience
