-
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... -
Interface Scicos-SynDEx
Projet SOSSO -
De la modélisation littérale à la simulation numérique certifiée
Ce mémoire, a pour objet de présenter une synthèse de mes travaux de recherche et de les mettre en perspective avec l'objectif général de la conception et du... -
PMS+: Un outil pour les processus de production de logiciels
Toutes approche IDM nécessite l'enchaînement de plusieurs transformations. Cet enchaînement peut être vu comme un processus de production de logiciels. Dans le plus... -
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... -
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... -
Implementability of distributed systems described with scenarios
Distributed systems lie at the heart of many modern applications (social networks, web services, etc.). However, developers face many challenges in implementing... -
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...
