-
Compilations's paradox for the promotion of silent films through Peter Delpeu...
The research examines the promotion of film archives from the Netherlands Filmmuseum [NFM] through Peter Delpeut’s compilation work. These ten films [1989-1999] are... -
Minimal Unroll Factor for Code Generation of Software Pipelining
International audience -
High Performance by Exploiting Information Locality through Reverse Computing
The main resources for computation are time, space and energy. Reducing them is the main challenge in the field of processor performance.In this thesis, we are... -
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... -
Decoupled approaches to register and software controlled memory allocations
Despite the benefit of the memory hierarchy, it is still essential, in order to reduce accesses to higher levels of memory, to have an efficient usage of registers and... -
Design and implementation of a proof verifying kernel for the λΠ-calculus modulo
In recent years, the emergence of feature rich and mature interactive proof assistants has enabled large formalization efforts of high-profile conjectures and results... -
Variation of fundamental constants and the triple-alpha reaction in Populatio...
International audience -
A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems
International audience -
TAPENADE 2.1 user's guide
This is the user's manual for the version 2.1 of the Automatic Differentiation tool TAPENADE. Given a source computer program that computes a differentiable... -
Bigloo User's Manual
Projet ICSLA -
A Generative Programming Approach To Developing DSL Compilers
Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer high-level constructs and notations dedicated... -
Fast Dynamic Translation Using LLVM On Multi-Core Hosts
International audience -
TIREX : A textual target-level intermediate representation for virtual execut...
Some environments require several compilers, for instance one for the operating system, supporting the full C/C++ norm, and one for the applications, potentially... -
Combining Processor Virtualization and Split Compilation for Heterogeneous Mu...
International audience -
Mise en ordre, mise en forme des savoirs: pour une approche comparative
Ce texte doit paraître en japonais dans les actes du colloque international "Collection et Fragments. Recueils, collections et encyclopédie au Japon" -
Certified compilation of SCADE/LUSTRE
Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each... -
Compilation des QCSP
Nous proposons dans cet article un cadre formel pour la compilation des problèmes de satisfaction de contraintes quantifiées (QCSP). L'objectif d'une telle compilation... -
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation E...
International audience -
High Level Hardware Synthesis of RVC Dataflow Programs
The evolution of video processing algorithms involved the advent of several standards. These standards present many common algorithms but designers are not able to... -
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ...
International audience
