Výsledky vyhľadávania - [INFO:INFO_PF] Computer Science/Performance

Controlling execution time variability using COTS for Safety-critical systems

Autori: Bin, Jingyi

Predmety: [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

Dostupnosť: 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

Autori: Noureddine, Adel

Predmety: [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

Dostupnosť: 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

Autori: Moy, Matthieu

Predmety: [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é

Dostupnosť: 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

Autori: Choungmo Fofack, Nicaise Éric

Predmety: [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

Dostupnosť: 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

Autori: Tsafack Chetsa, Ghislain Landry

Predmety: [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

Dostupnosť: 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

Autori: Miné, Antoine

Predmety: [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

Dostupnosť: 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.

Autori: Jacquin, Ludovic

Predmety: [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

Dostupnosť: 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

Autori: Montan, Séthy

Predmety: [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

Dostupnosť: 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

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

Predmety: [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

Dostupnosť: 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

Autori: Quinson, Martin

Predmety: [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

Dostupnosť: 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

Autori: Jimborean, Alexandra

Predmety: [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

Dostupnosť: 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

Autori: Cordovilla, Mikel

Predmety: [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

Dostupnosť: 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

Autori: Murat, Valérie

Predmety: [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

Dostupnosť: 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

Autori: Tesson, Julien

Predmety: [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

Dostupnosť: 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

Autori: Guillerm, Romaric

Predmety: [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

Dostupnosť: 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

Autori: Trifan, Laurentiu

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

Dostupnosť: 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

Autori: Tushkanova, Elena

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

Dostupnosť: 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

Autori: Bissyandé, Tegawendé F.

Predmety: [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

Dostupnosť: 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

Autori: Grasland, Yves

Predmety: [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

Dostupnosť: 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

Autori: Simacek, Jiri

Predmety: [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

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