Search Results - [INFO:INFO_PF] Computer Science/Performance*

Controlling execution time variability using COTS for Safety-critical systems

Authors: Bin, Jingyi

Subject Terms: [INFO:INFO_AR] Computer Science/Hardware Architecture, [INFO:INFO_AR] Informatique/Architectures Matérielles, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Safety-critical, Multi-core, WCET, Hardware counters

Availability: http://tel.archives-ouvertes.fr/tel-01061936
http://tel.archives-ouvertes.fr/docs/01/06/19/36/ANNEX/VD2_BIN_JINGYI_100720148_Synthese_en_francais_Annexes.pdf
http://tel.archives-ouvertes.fr/docs/01/06/19/36/PDF/VD2_BIN_JINGYI_10072014.pdf

Vers une meilleure compréhension de la consommation énergétique des systèmes logiciels

Authors: Noureddine, Adel

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, énergie, mesure, estimation, logiciel, application, code source

Availability: http://tel.archives-ouvertes.fr/tel-00961346
http://tel.archives-ouvertes.fr/docs/00/98/81/70/PDF/noureddine-thesis-2014.pdf

Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Authors: Moy, Matthieu

Subject Terms: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Modélisation, parallélisme, Systèmes sur puce, systèmes embarqués, vérification formelle, model-checking, interprétation abstaite, SMT, compilation, SystemC, TLM, Lustre, calcul temps-réel, causalité

Availability: http://tel.archives-ouvertes.fr/tel-01054555
http://tel.archives-ouvertes.fr/docs/01/05/45/55/PDF/hdr.pdf
http://tel.archives-ouvertes.fr/docs/01/05/45/55/ANNEX/hdr-matthieu-moy-slides.pdf

Sur des modèles pour l'évaluation de performance des caches dans un réseau cœur et de la consommation d'énergie dans un réseau d'accès sans-fil

Authors: Choungmo Fofack, Nicaise Éric

Subject Terms: [SHS:INFO] Humanities and Social Sciences/Library and information sciences, [SHS:INFO] Sciences de l'Homme et Société/Sciences de l'information et de la communication, [INFO:INFO_NI] Computer Science/Networking and Internet Architecture, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Réseaux de caches, Architecture de cache, Étude de performance, Économie d'énergie, Politiques de caches, Durée de vie

Availability: http://tel.archives-ouvertes.fr/tel-00968894
http://tel.archives-ouvertes.fr/docs/00/96/93/40/PDF/2014NICE4006.pdf

Profilage système et leviers verts pour les infrastructures distribuées à grande échelle

Authors: Tsafack Chetsa, Ghislain Landry

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Profilage de systèmes, Détection de phases, Caractérisation d'applications, Identification de phases, Identification partielle de phases, Leviers verts, Vecteur d'exécution, Reconfiguration des ressources, Prédiction de charge, HPC efficace en énergie, Calcul à haute performance

Availability: http://tel.archives-ouvertes.fr/tel-00925320
http://tel.archives-ouvertes.fr/docs/00/92/53/20/PDF/TSAFACK_CHETSA_Ghislain_Landry_2013_These.pdf

Analyse statique par interprétation abstraite de programmes concurrents

Authors: Miné, Antoine

Subject Terms: [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, analyse statique, interprétation abstraite, vérification, sûreté de fonctionnement, domaines numériques, programmes concurrents, programmes embarqués

Availability: http://tel.archives-ouvertes.fr/tel-00903447
http://tel.archives-ouvertes.fr/docs/00/90/34/47/PDF/hdr-compact-col.pdf
http://tel.archives-ouvertes.fr/docs/00/90/34/47/ANNEX/expose_ok.pdf

Compromis performance/sécurité des passerelles très haut débit pour Internet.

Authors: Jacquin, Ludovic

Subject Terms: [INFO:INFO_NI] Computer Science/Networking and Telecommunication, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, [INFO:INFO_PF] Computer Science/Performance and Reliability, [INFO:INFO_PF] Informatique/Performance et fiabilité, performance, sécurité, IPsec, ICMP

Availability: http://tel.archives-ouvertes.fr/tel-00911075
http://tel.archives-ouvertes.fr/docs/00/91/10/75/PDF/These_Ludovic_Jacquin.pdf

Sur la validation numérique des codes de calcul industriels

Authors: Montan, Séthy

Subject Terms: [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, Simulation numérique, Codes industriels, Validation numérique, CADNA, Algorithmes compensés, Bibliothèques scientifiques, BLAS, MPI

Availability: http://tel.archives-ouvertes.fr/tel-00913570
http://tel.archives-ouvertes.fr/docs/00/91/35/70/PDF/manuscrit_SethyMT.pdf
http://tel.archives-ouvertes.fr/docs/00/91/35/70/ANNEX/Soutenance_SethyMT.pdf

Behavioral Application-dependent Superscalar Core Modeling

Authors: Velásquez Vélez, Ricardo Andrés

Subject Terms: [INFO:INFO_AR] Computer Science/Architecture, [INFO:INFO_AR] Informatique/Architecture, [INFO:INFO_PF] Computer Science/Performance and Reliability, [INFO:INFO_PF] Informatique/Performance et fiabilité, multicore simulation, behavioral models, approximate simulation

Availability: http://tel.archives-ouvertes.fr/tel-00908544
http://tel.archives-ouvertes.fr/docs/00/90/85/44/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/90/85/44/ANNEX/thesis-defense.pptx

Méthodologies d'expérimentation pour l'informatique distribuée à large échelle

Authors: Quinson, Martin

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Systèmes distribués, Simulation, Verification dynamique

Availability: http://tel.archives-ouvertes.fr/tel-00927316
http://tel.archives-ouvertes.fr/docs/00/92/73/16/PDF/hdr_quinson.pdf
http://tel.archives-ouvertes.fr/docs/00/92/73/16/ANNEX/130308-MQ-HDR.pdf

Adapting the polytope model for dynamic and speculative parallelization

Authors: Jimborean, Alexandra

Subject Terms: [INFO:INFO_AR] Computer Science/Hardware Architecture, [INFO:INFO_AR] Informatique/Architectures Matérielles, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Speculative parallelization, Runtime system, Compiler, Polyhedral model, Dynamic optimizations, Loops, Partial parallelism, LLVM, Automatic parallelization

Availability: http://tel.archives-ouvertes.fr/tel-00733850
http://tel.archives-ouvertes.fr/docs/00/74/96/57/PDF/Jimborean_Alexandra_2012_ED269.pdf

Environnement de développement d'applications multipériodiques sur plateforme multicoeur. La boîte à outil SchedMCore

Authors: Cordovilla, Mikel

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, temps-réel, multi-coeur, multi-processeur, ordonnancement

Availability: http://tel.archives-ouvertes.fr/tel-00720709
http://tel.archives-ouvertes.fr/docs/00/72/07/09/PDF/TheseMikelCordovilla-finale.pdf
http://tel.archives-ouvertes.fr/docs/00/72/07/09/ANNEX/TheseMikelCordovilla-presentation.pdf

Extensions des automates d'arbres pour la vérification de systèmes à états infinis

Authors: Murat, Valérie

Subject Terms: [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Vérification formelle, Automate d'arbres, Réécriture, Treillis, Java, Interprétation abstraite

Availability: http://tel.archives-ouvertes.fr/tel-01065696
http://tel.archives-ouvertes.fr/docs/01/06/56/96/PDF/MURAT_Valerie.pdf

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels

Authors: Tesson, Julien

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Vérification formelle, Squelettes algorithmiques, Assistant de preuve

Availability: http://tel.archives-ouvertes.fr/tel-00660554
http://tel.archives-ouvertes.fr/docs/00/68/40/51/PDF/julien.tesson_2187.pdf

Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système

Authors: Guillerm, Romaric

Subject Terms: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Ingénierie système, Processus, EIA-632, Sûreté de fonctionnement, AMDEC, Arbres de défaillances, Exigences, Modèle d'information, SysML

Availability: http://tel.archives-ouvertes.fr/tel-00766124
http://tel.archives-ouvertes.fr/docs/00/76/61/24/PDF/ThA_se_GUILLERM.pdf

Résilience dans les Systèmes de Workflow Distribués pour les Applications d'Optimisation Numérique

Authors: Trifan, Laurentiu

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, [INFO:INFO_PF] Informatique/Performance et fiabilité, Calcul distribué, workflow, tolérance aux pannes

Availability: http://tel.archives-ouvertes.fr/tel-00912491
http://tel.archives-ouvertes.fr/docs/00/91/24/91/PDF/Thesis_Trifan.pdf

Schematic calculi for the analysis of decision procedures

Authors: Tushkanova, Elena

Subject Terms: [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Decision procedures, Schematic Saturation, Paramodulation, Combinaison

Availability: http://tel.archives-ouvertes.fr/tel-01037993
http://tel.archives-ouvertes.fr/docs/01/03/79/93/PDF/these_A_TUSHKANOVA_elena_2013.pdf

Contributions à l'Amélioration du Débogage des Services Noyau dans un Système d'Exploitation Monolithique

Authors: Bissyandé, Tegawendé F.

Subject Terms: [INFO:INFO_OS] Computer Science/Operating Systems, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_PF] Computer Science/Performance and Reliability, Diagnosys, Débogage, Linux, Pilotes de périphériques, Génie Logiciel, Fiabilité, Test

Availability: http://tel.archives-ouvertes.fr/tel-00808877
http://tel.archives-ouvertes.fr/docs/00/80/88/77/PDF/thesis.pdf

Test fonctionnel de propriétés hybrides

Authors: Grasland, Yves

Subject Terms: [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, test, test fonctionnel, propriétés de sûreté, systèmes hybrides

Availability: http://tel.archives-ouvertes.fr/tel-00974170
http://tel.archives-ouvertes.fr/docs/00/97/41/70/PDF/These_Yves_Grasland.pdf

Vérification de programmes avec structures de données complexes

Authors: Simacek, Jiri

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, pointeurs, tas, vérification, shape analysis, regular model checking, automates d'arbre, antichains, simulations

Availability: http://tel.archives-ouvertes.fr/tel-00805794
http://tel.archives-ouvertes.fr/docs/00/80/57/94/PDF/thesis_french_cover.pdf