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

Subject: Computer programming and systems


Number of records: 21.

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

Slavova, Tzvetomila (2009) Résolution triangulaire de systèmes linéaires creux de grande taille dans un contexte parallèle multifrontal et hors-mémoire. (Parallel triangular solution in the out-of-core multifrontal approach for solving large sparse linear systems.)

Mondet, Sébastien (2009) Modélisation et distribution adaptatives de grandes scènes naturelles. (Adaptive Modeling and Distribution of Large Natural Scenes.)

Alloula, Karim (2007) Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes. (A co-operative model combining computer algebra and numerical calculation for system simulation and optimization.)

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

Degroote, Arnaud (2012) Une architecture de contrôle distribuée pour l'autonomie des robots. (A distributed control architecture for the autonomy of robots.)

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

Ferreira Lago, Rafael (2013) A study on block flexible iterative solvers with applications to Earth imaging problem in geophysics. (Étude de méthodes itératives par bloc avec application à l’imagerie sismique en géophysique.)

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

Gianazza, David (2004) Optimisation des flux de trafic aérien. (Air traffic flows optimization.)

Gotteland, Jean-Baptiste (2004) Optimisation du trafic au sol sur les grands aéroports. (Ground trafic optimisation in busy airports.)

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

Lohr, Christophe (2002) Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-LOTOS. (Contribution to the design of real-time systems based on the RT-LOTOS formal description technique.)

Martinon, Pierre (2005) Résolution numérique de problèmes de contrôle optimal par une méthode homotopique simpliciale. (Numerical resolution of optimal control problems by a simplicial method.)

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

Morales Mendoza, Luis Fernando (2013) Écoconception de procédés : approche systémique couplant modélisation globale, analyse du cycle de vie et optimisation multiobjectif. (Eco-design of chemical processes: an integrated approach coupling process modeling, life cycle assessment and multi-objective optimization.)

Nouvel, Patrice (2013) Conception d'un système de verrouillage sur de fonctionnement pour les collisionneurs linéaires. (Design of a dependable interlock system for linear colliders.)

Rivière, Thomas (2006) Optimisation de graphes sous contrainte géométrique : création d'un réseau de routes aériennes pour un contrôle Sector-Less. (Graph optimisation under geometric constraint : generating an air route network for the Sector-Less concept.)

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

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

This list was generated on mar, 29 jui 2014 23:58:42 EST.


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

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