-
Erbium : Reconciling languages, runtimes, compilation and optimizations for s...
As transistors size and power limitations stroke computer industry, hardware parallelism arose as the solution, bringing old forgotten problems back into equation to... -
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Nu...
Last version = author version of our CSI Journal of Computer Paper (same title and same content) -
Instructions shifting algorithmics
The constant evolution of processors architectures, with superscalar, instruction-level parallelism, prediction and speculation capabilities and the multiple number of... -
GUBS, a behaviour-based language for design in synthetic biology
International audience -
Automatic Code Generation for SIMD Hardware Accelerators
SIMD hardware accelerators o er an alternative to manycores when energy consumption and performance are critical. For scienti c computing, GPGPUs are used in many... -
Expérimentation d'une plate-forme de portage logiciel à l'INRIA
National audience -
Programming parallelism with futures in Heptagon a synchronous functional lan...
Synchronous languages are used to program critical reactive systems. Today, systems require to find a way to execute them safely and in parallel. Parallelism has... -
Towards a safe and secure synchronous language
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics,... -
no data
Embedded systems are hardware and software based equipment. They are subject to many constraints and must run without stopping. To define the behavior of these... -
Source-to-Source Automatic Program Transformations for GPU-like Hardware Acce...
Since the beginning of the 2000s, the raw performance of processors stopped its exponential increase. The modern graphic processing units (GPUs) have been designed as... -
Algorithms Visualization Tool for Students and Lectures in Computer Science
International audience -
Antescofo Intermediate Representation
We describe an intermediate language designed as a medium-level internal representation of programs of the interactive music system Antescofo. This representation is... -
A Compiler for Rewrite Programs in Associative-Commutative Theories
Colloque avec actes et comité de lecture. -
Compiling nondeterministic computations
Rapport interne. -
Optimizations of Eiffel programs: SmallEiffel, The GNU Eiffel Compiler.
Colloque avec actes et comité de lecture./http://csdl2.computer.org/ -
Vers un usage plus sûr de l'aliasing avec Eiffel
Colloque avec actes et comité de lecture. nationale./http://www.hermes-science.com -
REM (Reduce Elan Machine): Core of the New ELAN Compiler
Colloque avec actes et comité de lecture. internationale. -
TERAFLUX: Harnessing dataflow in next generation teradevices
Available online 18 April 2014 -
A Pattern Matching Compiler for Multiple Target Languages
Rapport interne.
