Brève description des opérations élémentaires associées aux courbes splines: création à partir d'un nuage de points quelconque, projection orthogonale sur la spline (détection du point de la spline le plus proche pour tout point du plan) et projection sur la spline dans une direction quelconque. Les codes Matlab associés à chaque exemple sont fourn...
Modern hardware features can boost the performance of an application, but software vendors are often limited to the lowest common denominator to maintain compatibility with the spectrum of processors used by their clients. Given more detailed information about the hardware features, a compiler can generate more efficient code, but even if the exact...
The VOCADOM research project aims to design a new technology (voice control usable at home) to encourage the well-being and autonomy of theelderly with loss of autonomy at home. The user-centered design that we apply must implement methods adapted to these profiles. Which methods areappropriate for this profile to understand their real problems and...
Computing the worst-case execution time (WCET) of tasks is important for real-time system design. The industry and research communities have developed a wealth of techniques to compute relevant WCET approximations. Traditionally, WCETs are estimated at the granularity of a function (or task). We propose an approach to estimate partial WCET (pWCET),...
Web applications facilitate combining resources (linked data, web services, source code, documents, etc.) to create new ones. For a resource producer, choosing the appropriate license for a combined resource involves choosing a license compliant with all the licenses of combined resources and controlling the reusability of the resulting resource th...
—In the near future vehicles will be connected and able to communicate with their environment. Such technologies – commonly called Cooperative Intelligent Transportation Systems (C-ITS) – aim at improving road safety, traffic efficiency and drivers comfort. To this end the C-ITS community has proposed many different use cases. In this paper, we sta...
Les fonctions d'ordre supérieur font partie intégrante des langages de program-mation modernes comme Haskell, Caml, mais aussi Java, Scala ou même JavaS-cript. Là où leur utilité n'est plus à démontrer, leur utilisation pose problème dès lors qu'il s'agit de prouver la correction des programmes qui les utilisent. Dans ce travail, nous proposons une...
Function specialization is a compilation technique that consists in optimizing the body of a function for specific values of an argument. Different versions of a function are created to deal with the most frequent values of the arguments, as well as the default case. Compilers can do a better optimization with the knowledge of run-time behaviour of...
We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows. Given a dense-time real-valued signal w and a parameterized temporal logic formula phi, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on s...
Cette thèse se positionne dans le domaine de la vérification déductive de programmes, qui consiste à transformer une propriété à vérifier sur un programme en un énoncé logique, pour ensuite démontrer cet énoncé. La vérification effective d'un programme peut poser de nombreuses difficultés pratiques. En fait, les concepts mis en jeu derrière le prog...
