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

Subject: Computer systems


Number of records: 46.

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

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.)

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

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.)

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

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.)

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.)

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.)

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

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

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.)

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.)

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.)

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.)

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

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.)

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

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

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.)

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.)

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.)

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.)

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.)

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

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

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

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.)

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.)

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

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.)

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.)

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.)

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.)

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

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

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

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.)

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

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 mar, 22 avr 2014 23:58:34 EST.


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

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