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

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

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

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

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

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

Méthodes Statiques et Dynamiques de Compilation Polyédrique pour l'Exécution en Environnement Multi-Cœurs

Authors: Pradelle, Benoit

Subject Terms: [INFO:INFO_AR] Computer Science/Architecture, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_PF] Computer Science/Performance and Reliability, parallélisation automatique, compilation statique et dynamique, modèle polyédrique

Availability: http://tel.archives-ouvertes.fr/tel-00733856
http://tel.archives-ouvertes.fr/docs/00/73/38/56/PDF/thesis_prefinal.pdf

Approches outillées pour le développement de systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité

Authors: Tankeu Choitat, Adrienne

Subject Terms: [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_PF] Computer Science/Performance and Reliability, Système interactif, Tolérance aux fautes, widgets, description formelle

Availability: http://tel.archives-ouvertes.fr/tel-00654383
http://tel.archives-ouvertes.fr/docs/00/65/43/83/PDF/These_Tankeu_Dec2011.pdf

Scheduling Tasks over Multicore machines enhanced with acelerators: a Runtime System's Perspective

Authors: Augonnet, Cédric

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_PF] Computer Science/Performance and Reliability, ordonnancement, tâches, accélérateurs, GPU, multicœur

Availability: http://tel.archives-ouvertes.fr/tel-00777154
http://tel.archives-ouvertes.fr/docs/00/77/71/54/PDF/thesis_augonnet.pdf

Un modèle pour la gestion des séquences temporelles synchronisées. Application aux données musicales symboliques.

Authors: Faget, Zoé

Subject Terms: [INFO:INFO_DB] Computer Science/Databases, [INFO:INFO_DL] Computer Science/Digital Libraries, [INFO:INFO_PF] Computer Science/Performance and Reliability, Modèle de données, séquences temporelles, recherche d'information musicale, bibliothèques numériques, recherche par contenu, index n-gram, signatures algébriques

Availability: http://tel.archives-ouvertes.fr/tel-00676537
http://tel.archives-ouvertes.fr/docs/00/67/65/37/PDF/ZF14102011.pdf

Méthodes qualitatives et quantitatives pour la détection d'information cachée

Authors: Mathieu, Sassolas

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_IT] Computer Science/Information Theory and Coding, [MATH:MATH_IT] Mathematics/Information Theory, Sécurité, Méthodes formelles, Modélisation et vérification, Systèmes distribués, Systèmes probabilistes, Systèmes temporisés

Availability: http://tel.archives-ouvertes.fr/tel-00683086
http://tel.archives-ouvertes.fr/docs/00/68/30/86/PDF/These.pdf
http://tel.archives-ouvertes.fr/docs/00/68/30/86/ANNEX/Soutenance.pdf

Environnement de conception multi-niveaux unifiée appliqué aux systèmes mixtes

Authors: Vasilevski, Michel

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, Electronique, Systèmes Mixtes, RF, CAO, SystemC AMS, Modélisation

Availability: http://tel.archives-ouvertes.fr/tel-00836923
http://tel.archives-ouvertes.fr/docs/00/83/69/23/PDF/thesis.pdf

Terminaison basée sur les types et filtrage dépendant pour le calcul des constructions inductives

Authors: Sacchini, Jorge

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, Terminaison basée sur les types, types dépendants, filtrage par motifs, calcul des constructions inductives

Availability: http://pastel.archives-ouvertes.fr/pastel-00622429
http://pastel.archives-ouvertes.fr/docs/00/62/24/29/PDF/21076_SACCHINI_2011_archivage.pdf

Allocation efficace et non contraignante des ressources de grilles de calcul à l'aide d'environnements virtuels

Authors: Xavier, Grehant

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, Grilles de calcul, allocation de ressources, patron d'architecture, performance, defauts de cache

Availability: http://pastel.archives-ouvertes.fr/pastel-00569373
http://pastel.archives-ouvertes.fr/docs/00/56/93/73/PDF/these_Grehant.pdf

Compilation automatique pour les FPGAs

Authors: Note, Jean-Baptiste

Subject Terms: [INFO:INFO_PF] Computer Science/Performance and Reliability, Mémoire Active Programmable, langage synchrone, conception de circuits, calcul haute performance, compression sans perte, tramage, estimation de mouvement

Availability: http://tel.archives-ouvertes.fr/tel-00807973
http://tel.archives-ouvertes.fr/docs/00/80/79/73/PDF/these_web.pdf