Showing 1 - 20 results of 26 for search '"programmation"', query time: 0.38s Refine Results
  1. 1
    Multi-Architectural Support : A Generic and Generative Approach
    by Estérie, Pierre
    Published 2014
    Subjects: “...Programmation générative...”
    Get full text
  2. 2
    Flot de conception système sur puce pour radio logicielle
    by Tian, Guangye
    Published 2011
    Subjects: “...Le modèle de programmation hybride...”
    Get full text
  3. 3
    Adaptation de l’algorithmique aux architectures parallèles
    by Borghi, Alexandre
    Published 2011
    Subjects: “...Programmation linéaire...”
    Get full text
  4. 4
    Optimisation multi-niveau d’une application de traitement d’images sur machines parallèles
    by Saidani, Tarik
    Published 2012
    Subjects: “...Programmation parallèle...”
    Get full text
  5. 5
    Variantes non standards de problèmes d'optimisation combinatoire
    by Le Bodic, Pierre
    Published 2012
    Subjects: “...Programmation biniveau...”
    Get full text
  6. 6
    Chance-Constrained Programming Approaches for Staffing and Shift-Scheduling Problems with Uncertain Forecasts : application to Call Centers
    by Excoffier, Mathilde
    Published 2015
    Subjects: “...Programmation stochastique...”
    Get full text
  7. 7
    Programmation semi-définie positive. Méthodes et algorithmes pour le management d’énergie
    by Maher, Agnès
    Published 2013
    Subjects: “...Programmation semi-définie positive...”
    Get full text
  8. 8
    Algorithmique de l'alignement structure-séquence d'ARN : une approche générale et paramétrée
    by Rinaudo, Philippe
    Published 2012
    Subjects: “...Programmation dynamique...”
    Get full text
  9. 9
    Vérification de programmes avec pointeurs à l'aide de régions et de permissions
    by Bardou, Romain
    Published 2011
    Subjects: “...Langage de programmation...”
    Get full text
  10. 10
    Programmation métabolique par l’environnement périnatal et profils hypothalamiques des microARNs chez le rat
    by Benoit, Charlotte
    Published 2012
    Subjects: “...Programmation métabolique...”
    Get full text
  11. 11
    Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler
    by Trifunovic, Konrad
    Published 2011
    Subjects: “...Langages de programmation...”
    Get full text
  12. 12
    Vers l’identification de marqueurs biologiques dans le retard de croissance intra-utérin humain
    by Gascoin-Lachambre, Géraldine
    Published 2011
    Subjects: “...Programmation fœtale...”
    Get full text
  13. 13
    Régulation de la qualité lors de la transmission de contenus vidéo sur des canaux sans fils
    by Changuel, Nesrine
    Published 2011
    Subjects: “...Programmation dynamique...”
    Get full text
  14. 14
    Modélisation et conception d’une plateforme pour l’interaction multimodale distribuée en intelligence ambiante
    by Pruvost, Gaëtan
    Published 2013
    Subjects: “...Programmation orientée composants...”
    Get full text
  15. 15
    Développement d’algorithmes d’imagerie et de reconstruction sur architectures à unités de traitements parallèles pour des applications en contrôle non destructif
    by Pedron, Antoine
    Published 2013
    Subjects: “...Programmation parallèle...”
    Get full text
  16. 16
    Improving message logging protocols towards extreme-scale HPC systems
    by Martsinkevich, Tatiana V.
    Published 2015
    Subjects: “...Modèle de programmation des tâches parallèles...”
    Get full text
  17. 17
    Parallélisation de simulations interactives de champs ultrasonores pour le contrôle non destructif
    by Lambert, Jason
    Published 2015
    Subjects: “...Programmation parallèle...”
    Get full text
  18. 18
    Preuves par raffinement de programmes avec pointeurs
    by Tafat, Asma
    Published 2013
    Subjects: “...Preuve de programmes...”
    Get full text
  19. 19
    Logique de séparation et vérification déductive
    by Bobot, François
    Published 2011
    Subjects: “...Sureté des programmes...”
    Get full text
  20. 20
    Extensions entre séries principales p-adiques et modulo p d'un groupe réductif p-adique déployé
    by Hauseux, Julien
    Published 2014
    Subjects: “...Programme de Langlands p-adique...”
    Get full text
Search Tools: Get RSS Feed — Email this Search