Cette thèse définit un modèle d'exécution de programmes parallèles basés sur l'appel de procédures exécutées à distance par des processus légers. L'équivalence de deux exécutions dans le modèle procédural parallèle sert de guide pour la construction d'un mécanisme de réexécution déterministe pour le noyau exécutif Athapascan-0a. Le modèle étudié n'est pas spécifique à Athapascan et peut s'appliquer à d'autres environnements de programmation. Les modèles concernés utilisent des ressources partagées actives. Dans cette famille de modèles se trouvent, entre autres, les modèles d'appels de procédures à distance, les modèles Clients-Serveurs et les modèles à objets actifs. Le modèle exploite des événements abstraits composés d'événements de plus bas niveau. Le nombre d'événements enregistrés est ainsi réduit sans surcoût de calcul lié à cette réduction. Le mécanisme de réexécution déterministe réalisé pour Athapascan-0a est validé expérimentalement. Une méthodologie de mesures systématiques est appliquée pour mesurer le surcoût en temps dû à l'enregistrement des traces nécessaires à la réexécution. Les mesures des temps d'exécution s'effectuent pour des programmes parallèles synthétiques générés à partir de modèles d'algorithmes. Les surcoûts mesurés montrent une faible intrusion du mécanisme d'enregistrement des traces.

Cette thèse porte sur la création interactive intuitive de formes 3D, justifié pour les artistes par un besoin d'efficacité et d'expressivité et pour le grand public par la démocratisation d'usages de la modélisation numérique pour les jeux vidéo ou pour les imprimantes 3D. Dans ce cadre, pour trouver des nouvelles formes d'interactions, nous avons développé des modeleurs et des techniques de modélisation : un modeleur de formes libres 3D par métaphore de peinture, un modeleur vectoriel temps réel de paysages ainsi qu'un modeleur de paysages par croquis vu de la première personne. Les contributions scientifiques vont d'un opérateur de mélange implicite qui garanti la localité du mélange, à l'utilisation qu'une formulation bi-harmonique pour la modélisation de terrains permettant une modélisation fine, intuitive et temps réel de terrains; en passant par la modélisation de paysages à partir de croquis composé de silhouettes vus de la première personne. / This thesis focuses on the interactive intuitive creation of 3D Models. Improvment of modeling tools for artists is still an active research mater especialy concerning efficiency and expressiveness. Moreother video games or 3D printers are make the use of modeling tools more common by the general public. In this context, to find new forms of interaction, we have developed modelers and modeling techniques: a 3D free-form modeler which uses a painting metaphor for creation, a vector-based real-time landscapes modeler as well as a sketch-based landscapes modeler that uses first person drawnings. Scientific contributions range from a blending operator for implicit modeling that guarantees the locality of the blend. The use for a bi-harmonic formulation for landscape modeling that allow fine, intuitive and real-time terrain modeling. Finally through landscape modelisation using sketches composed of silhouettes seen from the first person point of view.