Search
Now showing items 11-20 of 42
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes,
de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques ...
Evaluating Design Decay during Software Evolution
(2013-02-01)
Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la ...
Quality of service aware data dissemination in vehicular Ad Hoc networks
(2018-10-18)
Des systèmes de transport intelligents (STI) seront éventuellement fournis dans un proche avenir pour la sécurité et le confort des personnes lors de leurs déplacements sur les routes. Les réseaux ad-hoc véhiculaires ...
Iterative Solvers for Physics-based Simulations and Displays
(2018-10-18)
La génération d’images et de simulations réalistes requiert des modèles complexes pour capturer tous les détails d’un phénomène physique. Les équations mathématiques qui composent ces modèles sont compliquées et ne peuvent ...
Photorealistic Surface Rendering with Microfacet Theory
(2016-03-23)
La synthèse d'images dites photoréalistes nécessite d'évaluer numériquement la manière dont la lumière et la matière interagissent physiquement, ce qui, malgré la puissance de calcul impressionnante dont nous bénéficions ...
Improving automation in model-driven engineering using examples
(2014-05-01)
Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation ...
Narrative generation by associative network extraction from real-life temporal data
(2017-03-28)
Les données portant sur des événements abondent dans notre société technologique. Une façon intéressante de présenter des données temporelles réelles pour faciliter leur interprétation est un récit généré automatiquement. ...
Inferring API Usage Patterns and Constraints : a Holistic Approach
(2017-03-28)
Les systèmes logiciels dépendent de plus en plus des librairies et des frameworks logiciels. Les programmeurs réutilisent les fonctionnalités offertes par ces librairies à travers une interface de programmation (API). Par ...
On the fly type specialization without type analysis
(2016-04-20)
Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de ...
Dealing with heterogeneity in the prediction of clinical diagnosis
(2018-03-21)
Le diagnostic assisté par ordinateur est un domaine de recherche en émergence et se situe
à l’intersection de l’imagerie médicale et de l’apprentissage machine. Les données médi-
cales sont de nature très hétérogène et ...