 ![[Accueil Erasme]](http://ethesis.inp-toulouse.fr/images/erasme/logoblanc.gif) |
Erasme : système d'information documentaire de l'INPT |
| Home > Les thèses en ligne de l'INP |
Subject: Computer science and telecommunications
Number of records: 36.
Albinet, Arnaud (2005) Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillants. (Characterisation of the operating systems dependability within faulty drivers.)
Alphand, Olivier (2005) Architecture à qualité de service pour systèmes satellites DVB-S/RCS dans un contexte NGN. (QoS Architecture over DVB-RCS satellite networks in a Next Generation Network framework.)
Avina Cervantes, Juan Gabriel (2005) Navigation visuelle d'un robot mobile dans un environnement d'extérieur semi-structuré. (Vision-based navigation of a mobile robot in an outdoor semi-structured environment.)
Baboulin, Marc (2006) Solving large dense linear least squares problems on parallel distributed computers. Application to the Earth's gravity field computation. (Résolution de problèmes de moindres carrés linéaires denses de grande taille sur des calculateurs parallèles distribués. Application au calcul de champ de gravité terrestre.)
Bailloeul, Timothée (2005) Contours actifs et information a priori pour l'analyse de changements : application à la mise à jour de cartes numériques du bâti urbain à partir d'images optiques de télédétection haute résolution. (Active contours and prior knowledge for change analysis : application to digital urban building map updating from optical high resolution remote sensing images.)
Balsa, Carlos Jorge da Rocha (2006) Inexact Subspace Iteration to Accelerate the Solution of Linear Systems with Multiple Right-Hand Sides. (Itération de sous-espace inexacte pour accélérer la solution de systèmes d'équations linéaires avec plusieurs second membres.)
Behnia, Salimeh (2000) Test de modèles formels en B : cadre théorique et critères de couverture.
Belleville, Florestan de (2004) Transport multipoint fiable à très grande échelle : intégration de critères de coût en environnement Internet hybride satellite / terrestre. (Large scale reliable multipoint transport : taking cost into account in the hybrid satellite terrestrial Internet environment.)
Caillau, Jean-Baptiste (2000) Contribution à l'étude du contrôle en temps minimal des transferts orbitaux.
Canourgues, Lucile (2008) Routing in Large Scale tactical mobile ad hoc Networks. (Algorithmes de routage dans les réseaux mobile Ad hoc tactique à grande échelle.)
Charara, Hussein (2007) Evaluation des performances temps réel de réseaux embarqués avioniques. (Real time performance evaluation of the embedded avionics networks.)
Chau, Ming (2005) Algorithmes Parallèles Asynchrones pour la Simulation Numérique. (Parallel Asynchronous Algorithms in Numerical Simulation.)
Chauvet, Wilfried (2004) Etude des filtres LPTV numériques : applications aux communications numériques. (Digital LPTV filters study : application to digital communications.)
Cubat Dit Cros, Christophe (2005) Agents mobiles coopérants pour les environnements dynamiques. (Cooperative mobile agents for dynamic environments.)
De Boer, Jean-Rémi (2010) Capteurs MEMS : Optimisation des méthodes de traitement capteurs, de navigation et d'hybridation.
Douze, Matthijs (2004) Estimation d'homographies inter-images : cas des mosaïques et du suivi en temps réel : applications en réalité augmentée. (Estimation of homographies between images for mosaic generation and real-time tracking with applications in augmented reality.)
Florens, Olivier (2005) Augmentation du débit des liaisons radio hautes fréquences. (Increasing high frequency radio data rate.)
Garduno Barrera, David Rafael (2005) A differentiated quality of service oriented multimedia multicast protocol. (Un protocole multimedia multipoint à qualité de service differenciée.)
Gianazza, David (2004) Optimisation des flux de trafic aérien. (Air traffic flows optimization.)
Grieu, Jérôme (2004) Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques. (Study and evaluation of the switched Ethernet technology for avionic systems interconnection.)
Kacimi, Rahim (2009) Techniques de conservation d'énergie pour les réseaux de capteurs sans fil. (Energy conservation techniques for wireless sensor networks.)
Le Berre, Tanguy (2010) Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles. (Formal specification of distributed real time systems using an approach based on temporally constrained data flows.)
Mahmino, Ali (2009) Application du Codage Réseau aux Architectures à Garanties de Qualité de Service (QoS). (Network coding : principles and applications.)
Martin, Vincent (2006) Contribution des filtres LPTV et des techniques d'interpolation au tatouage numérique. (Contribution of LPTV filters and interpolation techniques to digital watermarking.)
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.)
Mondet, Sébastien (2009) Adaptive Modeling and Distribution of Large Natural Scenes. (Modélisation et distribution adaptatives de grandes scènes naturelles.)
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.)
Pham Thi Xuan, Loc (2004) Adaptation des composants centrée sur l'utilisation. (Use-centered component adaptation.)
Preda, Dorin (2004) Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte. (Mixed integer programming for a special logic constrained optimal control problem.)
Rakotoarivelo, Thierry (2007) Distributed discovery and management of alternate paths with enhanced quality of service in the internet. (Découverte et gestion distribuée de chemins alternatifs à contraintes de qualité de service dans l'internet.)
Salhani, Mohamad (2008) Modélisation et simulation des réseaux mobiles de 4ème génération. (Modelling and Simulation of fourth Generation Mobile Wireless Networks.)
Tao, Na (2009) Etude des performances et optimisation d'un réseau d'accès par satellite pour les communications. (Satellite access performances assessment and optimization for aeronautical communications.)
Thalmensy, Hervé (2007) Emulation de réseaux au niveau IP pour l'expérimentation de services et de protocoles de communication. Application aux réseaux satellites. (An IP level network emulation solution for services and protocols evaluation applied on satellite networks.)
Touhami, Ahmed (2005) Utilisation des filtres de Tchebycheff et construction de préconditionneurs spectraux pour l'accélération des méthodes de Krylov. (Use of Chebychev filtering for the construction of spectral preconditioners to accelerate the convergence of Krylov methods.)
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.)
Zhang, Lei (2009) End to end architecture and mechanisms for mobile and wireless communications in the Internet. (Architecture et mécanismes de bout en bout pour les communications mobiles et sans fil dans l'Internet.)
This list was generated on jeu, 02 sep 2010 23:58:34 EST.