[Home bibliotech]
Home > Les thèses en ligne de l'INP

Subject: Computer systems


Number of records: 49.

Chu, Hoang-Nam (2011) Test et évaluation de la robustesse de la couche fonctionnelle d'un robot autonome. (Test and Evaluation of the Robustness of the Functional Layer of an Autonomous Robot.)

Albu, Elena Roxana (2011) Architecture de communication pour les réseaux d’instrumentation sans fil. (Communication architecture for wireless sensors networks.)

Perrin, Nicolas (2011) Planification de pas pour robots humanoïdes : approches discrètes et continues. (Footstep planning for humanoid robots: discrete and continuous approaches.)

Nguyen, The Tung (2011) Un environnement pour le calcul intensif pair à pair. (An environment for peer-to-peer high performance computing.)

Tchana, Alain-Bouzaïde (2011) Système d'Administration Autonome Adaptable : application au Cloud. (Adaptable autonomic management system: application to Cloud infrastructures.)

Dury, Jérôme (2011) The cropping-plan decision-making : a farm level modelling and simulation approach. (Les décisions d'assolement : une approche par modélisation et simulation a l'échelle de l'exploitation agricole.)

Mégel, Thomas (2012) Placement, ordonnancement et mécanismes de migration de tâches temps-réel pour des architectures distribuées multicoeurs. (Real-time tasks assignment, scheduling and migration mechanisms for multicore distributed architectures.)

Mu, Wenxin (2012) Caractérisation et logique d'une situation collaborative. (Business and logic charateristic in an collaborative situation.)

Gancet, Jérémi (2005) Systèmes multi-robots aériens : architecture pour la planification, la supervision et la coordination. (Multi unmanned aerial vehicles (UAV) systems : architecture for planning, supervision and cooperation.)

Temate Ngaffo, Suzy Hélène Germaine (2012) Des langages de modélisation dédiés aux environnements de méta-modélisation dédiés. (From domain specific modeling languages to domain specific frameworks.)

Manzat, Ana-Maria (2013) Contribution à la modélisation des métadonnées associées aux documents multimédias et à leur enrichissement par l’usage. (Contribution to the modeling of metadata associated to multimedia documents and to their enrichment through the usage.)

Dufourd, Delphine (2005) Des cartes combinatoires pour la construction automatique de modèles d'environnement par un robot mobile. (Combinatorial maps for simultaneous localization and map building (SLAM) with a mobile robot.)

Jaddi, Farid (2006) CSR : une extension hiérarchique adaptative du protocole de routage ad hoc DSR. (CSR : an adaptative hierarchical extension of the DSR ad hoc routing protocol.)

Moo Mena, Francisco José (2007) Modélisation des architectures logicielles dynamiques : application à la gestion de la qualité de service des applications à base de services Web. (Modelling dynamic software architectures : application to the quality of service management of Web services applications.)

Salatgé, Nicolas (2006) Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services Web. (Design and implementation of a platform for the web services dependability.)

Esteves Jaramillo, Claudia Elvira (2007) Motion Planning : from Digital Actors to Humanoid Robots. (Planification de mouvement : du mannequin virtuel au robot humanoïde.)

Sadani, Tarek (2007) Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS. (Using extended time Petri nets for the verification of real-time systems deescribed in RT-LOTOS.)

Lampe, Alexandre (2006) Méthodologie d'évaluation du degré d'autonomie d'un robot mobile terrestre. (Method for mobile robot autonomy level evaluation.)

Lussier, Benjamin (2007) Tolérance aux fautes dans les systèmes autonomes. (Fault tolerance in autonomous systems.)

Bichot, Charles-Edmond (2007) Élaboration d'une nouvelle métaheuristique pour le partitionnement de graphe : la méthode de fusion-fission. Application au découpage de l'espace aérien. (Elaboration of a new metaheuristic for graph partitioning : the fusion-fission method. Application to airspace partitioning.)

Courtès, Ludovic (2007) Cooperative Data Backup for Mobile Devices. (Sauvegarde coopérative de données pour dispositifs mobiles.)

Rugina, Ana-Elena (2007) Dependability modeling and evaluation – From AADL to stochastic Petri nets. (Modélisation et évaluation de la sûreté de fonctionnement – De AADL vers les réseaux de Petri stochastiques.)

Mota, Sara (2008) Modélisation et vérification de protocoles pour des communications sécurisées de groupes. (Modeling and verifiying protocols for secure group communication.)

Bonhomme, Sylvain (2008) Méthodologie et outils pour la conception d'un habitat intelligent. (Methodology and tools for the design of an intelligent home.)

Pareaud, Thomas (2009) Adaptation en ligne de mécanismes de tolérance aux fautes par une approche à composants ouverts. (On-line fault tolerance mechanisms adaptation based on open component models.)

Elayeb, Bilel (2009) SARIPOD : Système multi-Agent de Recherche Intelligente POssibiliste de Documents Web. (SARIPOD : An Intelligent Possibilistic Web Information Retrieval using Multiagent system.)

Gadafi, Aeiman (2013) Gestion mémoire dans une infrastructure répartie. (Memory management in a distributed infrastructure.)

Ishak, Karim (2010) Architecture distribuée interopérable pour la gestion des projets multi-sites : application à la planification des activités de production. (A distributed and interoperable architecture to manage multi-site projects : application to the planning of production activities.)

Jackou, Rakiatou Christelle (2010) Contribution à la Gestion des Opérations de la Sûreté Aéroportuaire : Modélisation et Optimisation. (Contribution to the management of airport security operations: modelisation and optimization.)

Kalakech, Ali (2005) Étalonnage de la sûreté de fonctionnement des systèmes d’exploitation – Spécifications et mise en oeuvre. (Benchmarking Operating Systems Dependability – Specifications and Implementation.)

Kezadri, Mounira (2013) Assistance à la validation et vérification de systèmes critiques : ontologies et intégration de composants. (Support for the validation and verification of critical systems: ontologies and integration of components.)

Khalil, Fadi (2009) Modélisation Multi-échelles : de l'Electromagnétisme à la Grille. (Multi-scale Modeling: from Electromagnetism to Grid.)

Ladevèze, Nicolas (2010) Apport des méthodes de planification automatique dans les simulations interactives d'industrialisation et de maintenance en réalité virtuelle. (Contribution of automatic motion planning methods in virtual reality simulations of industrialization and maintenance.)

Lauret, Jimmy (2013) Prévention et détection des interférences inter-aspects : méthode et application à l'aspectisation de la tolérance aux fautes. (Aspect onlated programs testing.)

Lu, Caroline (2009) Robustesse du logiciel embarqué multicouche par une approche réflexive : application à l'automobile. (Robustness of multilayered embedded software through a reflective approach : application in the automotive industry.)

Mahmino, Ali (2009) Application du Codage Réseau aux Architectures à Garanties de Qualité de Service (QoS). (Network coding : principles and applications.)

Marsden, Eric (2004) Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel.

Martinello, Magnos (2005) Availability modeling and evaluation of web-based services - A pragmatic approach. (Modélisation et évaluation de la disponibilité de services mis en oeuvre sur le web - Une approche pragmatique.)

Panichpattanakul, Wasimon (2010) Cooperative Communications in Ad Hoc Networks. (Communications Coopératives en Réseaux Ad Hoc.)

Péret, Laurent (2004) Recherche en ligne pour les Processus Décisionnels de Markov : application à la maintenance d’une constellation de satellites. (On-line search for Markov Decision Processes : application to the maintenance of a constellation of satellites.)

Pontisso, Nadège (2009) Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux. (Formal models for technical specification of flying softwares.)

Robert, Thomas (2009) Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne. (Early error detection for real time applications : an approach using runtime verification.)

Sghairi Haouati, Manel (2010) Architectures innovantes de systèmes de commandes de vol. (Innovative Architectures of Flight Control Systems.)

Sharrock, Rémi (2010) Gestion autonomique de performance, d'énergie et de qualité de service. Application aux réseaux filaires, réseaux de capteurs et grilles de calcul. (Autonomic management of performance, energy consumption and quality of service. Application to wired networks, sensors networks and grid computing facilities.)

Stoicescu, Miruna (2013) Conception et implémentation de systèmes résilients par une approche à composants. (Architecting Resilient Computing Systems: a Component-Based Approach.)

Touré, Mahamadou Abdoulaye (2010) Administration d'applications réparties à grande échelle. (Autonomic administration of large scale software infrastructure.)

Tran, Giang Son (2014) Cooperative resource management in the cloud. (Gestion des ressources coopérative dans les clouds.)

Trujillo Romero, Felipe de Jesús (2008) Modélisation et reconnaissance active d'objets 3D de forme libre par vision en robotique. (3D modelling and active recognition of free-form objects from vision in robotics.)

Youssef, Anis (2005) Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes. (High integrity communication network for critical control systems integrating micro-systems arrays.)

This list was generated on jeu, 24 jui 2014 23:58:45 EST.


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication