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

Subject: Computer science and telecommunications


Number of records: 59.

Bouabdallah, Amine (2010) Contributions à la fiabilisation du transport de la vidéo. (Contributions to the improvement of the reliability in the video-transport context.)

Tröltzsch, Anke (2011) Une méthode de région de confiance avec ensemble actif pour l'optimisation non linéaire sans dérivées avec contraintes de bornes appliquée à des problèmes aérodynamiques bruités. (An active-set trust-region method for bound-constrained nonlinear optimization without derivatives applied to noisy aerodynamic design problems.)

Allignol, Cyril (2011) Planification de trajectoires pour l'optimisation du trafic aérien. (Trajectory planning for air traffic optimization.)

Ben Nacef, Ahmed (2011) Relais coopératifs dans un réseau de capteurs : performances limites et stratégies. (Cooperative Relaying in sensor network: performances, limits and startegies.)

Lauer, Michaël (2012) Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée. (A comprehensive method for the verification of real-time requirements: application to integrated modular avionics.)

Bagayoko, Amadou Baba (2012) Politiques de robustesse en réseaux ad hoc. (Robustness policies in mobile ad hoc networks.)

Iturralde Ruiz, Geovanny Mauricio (2012) Performances of LTE networks. (Performances des Réseaux LTE.)

Dudal, Clément (2012) Forme d'onde multiporteuse pour de la diffusion par satellite haute capacité. (Multicarrier waveform for high capacity satellite broadcasting.)

Chauvet, Wilfried (2004) Etude des filtres LPTV numériques : applications aux communications numériques. (Digital LPTV filters study : application to digital communications.)

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

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

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

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

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

Cottret, Maxime (2007) Exploration visuelle d'environnement intérieur par détection et modélisation d'objets saillants. (Spatial cognition and multimodal situation awareness of an autonomous mobile robot.)

Charara, Hussein (2007) Evaluation des performances temps réel de réseaux embarqués avioniques. (Real time performance evaluation of the embedded avionics networks.)

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

Adnan, Muhammad (2013) Analyse pire cas exact du réseau AFDX. (Exact worst-case communication delay analysis of AFDX network.)

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

Astudillo Salinas, Darwin Fabián (2013) Téléchargement de Contenus dans les réseaux véhiculaires. (Content download in the Vehicular Networks.)

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

Barros Gavilanes, Juan Gabriel (2013) Réseaux de capteurs pour applications de suivi médical. (Wireless Sensor networks for health care monitoring applications.)

Behnia, Salimeh (2000) Test de modèles formels en B : cadre théorique et critères de couverture.

Caillau, Jean-Baptiste (2000) Contribution à l'étude du contrôle en temps minimal des transferts orbitaux.

Chau, Ming (2005) Algorithmes Parallèles Asynchrones pour la Simulation Numérique. (Parallel Asynchronous Algorithms in Numerical Simulation.)

Cubat Dit Cros, Christophe (2005) Agents mobiles coopérants pour les environnements dynamiques. (Cooperative mobile agents for dynamic environments.)

Dang, Quoc Viet (2014) Similarités dans des Modèles BRep Paramétriques : Détection et Applications. (Similarities within BRep Parametric Models: Detection and Applications.)

De Belleville, Florestan (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.)

De Boer, Jean-Rémi (2010) Capteurs MEMS : optimisation des méthodes de traitement capteurs, de navigation et d'hybridation. (MEMS sensors : preprocessing and GNSS/MEMS navigation optimization.)

Deau, Raphaël (2010) Optimisation des séquences de pistes et des mouvements au sol sur les grands aéroports. (Runways sequences and ground traffic optimisation on busy airports.)

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

Ge, Ning (2014) Property driven verification framework: application to real time property for UML MARTE software design. (Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE.)

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

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

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

Li, Xiaoting (2013) Worst-case delay analysis of real-time switched Ethernet networks with flow local synchronization. (L’analyse pire cas de délai sur des réseaux Ethernet commuté temps réels avec la synchronisation locale de flux.)

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

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) Modélisation et distribution adaptatives de grandes scènes naturelles. (Adaptive Modeling and Distribution of Large Natural Scenes.)

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

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

Rouet, François-Henry (2012) Memory and performance issues in parallel multifrontal factorizations and triangular solutions with sparse right-hand sides. (Problèmes de mémoire et de performance de la factorisation multifrontale parallèle et de la résolution triangulaire à seconds membres creux.)

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

Slimani, Hicham (2013) Protocoles coopératifs pour réseaux sans fil. (Cooperative protocols for 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.)

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

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 ven, 28 nov 2014 23:58:48 EST.


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

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