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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This list was generated on lun, 21 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