-
Minimal Unroll Factor for Code Generation of Software Pipelining
International audience -
Domain Specific Modelling Applied to Smart Sensors
International audience -
Home Devices Mediation using ontology alignment and code generation techniques
Ubiquitous systems imagined by Mark Weiser are emerging thanks to the development of embedded systems and plug-n-play protocols like the Universal Plug aNd Play... -
Efficient computation with structured matrices and arithmetic expressions
Designing efficient code in practice for a given computation is a hard task. In this thesis, we tackle this issue in two different situations. The first part of the... -
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
The goal of this thesis is to design algorithms that run with better complexity when compiling or parallelizing loop programs. The framework within which our... -
Development of dependable applications : a design-driven approach
In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their... -
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) -
Specification of a Legacy Tool by Means of a Dependency Graph to Improve its ...
International audience -
Contribution of model-driven engineering to the design of large-scale crop mo...
This PhD thesis has an industrial purpose. It is motivated by a software production issue met within the ITK company. Using the techniques provided by model-driven... -
Automated Code Generation for Lattice QCD Simulation
Quantum Chromodynamics (QCD) is the theory of strong nuclear force, responsible of the interactions between sub-nuclear particles. QCD simulations are typically... -
An automated approach based on integrity constraints defined in UML and OCL f...
Spatial Data Warehouse (SDW) and Spatial OLAP (SOLAP) systems are Business Intelligence (BI) allowing for interactive multidimensional analysis of huge volumes of... -
Business process-centered modeling for the complete generation of collaborati...
Companies collaborate to seize opportunities as well as exchange documents and other types of resources. This is achieved by following business processes that are... -
Distributed Implementations of Component-based Systems with Prioritized Multi...
Distributed software is often required for new systems, because of efficiency and physical distribution and sensors and actuators. Ensuring correctness of a... -
High-performance code generation for stencil computations on heterogeneous mu...
International audience
