Výsledky vyhľadávania - "[INFO:INFO_ES] Computer Science/Embedded Systems"

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

Analyse et implémentation d'algorithmes pour la conception de capteurs de déplacement embarqués, utilisant la rétro-injection optique

Autori: Luna Arriaga, Antonio

Predmety: [SPI:OPTI] Engineering Sciences/Optics / Photonic, [SPI:OPTI] Sciences de l'ingénieur/Optique / photonique, [SPI:SIGNAL] Engineering Sciences/Signal and Image processing, [SPI:SIGNAL] Sciences de l'ingénieur/Traitement du signal et de l'image, [INFO:INFO_TS] Computer Science/Signal and Image Processing, [INFO:INFO_TS] Informatique/Traitement du signal et de l'image, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Interférométrie à rétro-injection optique, Mesure de déplacement, Capteur diode laser, Système embarqué, Traitement numérique du signal

Dostupnosť: http://tel.archives-ouvertes.fr/tel-01063295
http://tel.archives-ouvertes.fr/docs/01/06/32/95/PDF/PhDThesis_luna_arriaga.pdf

Formal verification of a synchronous data-flow compiler : from Signal to C

Autori: Ngô, Van Chan

Predmety: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [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, Formal verification, Translation validation, Validated Compiler, Synchronous Programs, Polychronous Models, Embedded systems, Safety-critical systems, Deadlock detection, Compilation, Polychrony, Dependency graphs, SMT solving, Value-graphs, Graph rewriting

Dostupnosť: http://tel.archives-ouvertes.fr/tel-01067477
http://tel.archives-ouvertes.fr/docs/01/06/74/77/PDF/NGO_Van_Chan.pdf

Vérification Formelle d'un Compilateur Synchrone: de Signal vers C

Autori: Ngo, Van Chan

Predmety: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [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, Vérification formelle, Validation de la traduction, Compilateur validé, Programmes synchrones, Modèles polychrones, Systèmes embarqués, Systèmes critiques, Détection des blocages, Compilation, Polychrony, Graphiques de dépendance, SMT solving, Valeur-graphiques, Graphique réécriture

Dostupnosť: http://tel.archives-ouvertes.fr/tel-01058041
http://tel.archives-ouvertes.fr/docs/01/05/80/41/PDF/chan_thesis_full.pdf

SECURITY AND SELF-HEALABILITY ENFORCEMENT OF DYNAMIC COMPONENTS IN A SERVICE-ORIENTED SYSTEM

Autori: Dan, Yufang

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Dynamique SOA, OSGi, Larva, Surveillance de l'exécution, Références rassis, Substitution, Logiciel d'auto-guérison

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00994833
http://tel.archives-ouvertes.fr/docs/01/01/87/68/PDF/these-version_2.pdf

Cooperative people detection and tracking strategies with a mobile robot and wall mounted cameras

Autori: Mekonnen, Alhayat Ali

Predmety: [INFO:INFO_RB] Computer Science/Robotics, [INFO:INFO_RB] Informatique/Robotique, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Feature selection, Multi-person tracking, People detection, Sensor fusion

Dostupnosť: http://tel.archives-ouvertes.fr/tel-01068355
http://tel.archives-ouvertes.fr/docs/01/06/83/55/PDF/ThA_se_Mekonnen.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

Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur

Autori: Bodin, Bruno

Predmety: [INFO:INFO_RO] Computer Science/Operations Research, [INFO:INFO_RO] Informatique/Recherche opérationnelle, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, multiprocesseurs, compilation, flot de données, Cyclo-Static Dataflow Graphs, ordonnancement, périodique, k-périodique, vivacité, évaluation du débit, dimensionnement mémoire, méthode approchée

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00922578
http://tel.archives-ouvertes.fr/docs/00/94/65/25/PDF/manuscrit.pdf
http://tel.archives-ouvertes.fr/docs/00/94/65/25/ANNEX/slides.pdf

Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles

Autori: Gómez Cárdenas, Carlos Ernesto

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Multi-vue, IEEE-42010, IDM, UML, MARTE, SysM, CCSL, MoC, Modèles hétérogènes, Consommation de puissance

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00931001
http://tel.archives-ouvertes.fr/docs/00/97/46/16/PDF/2013NICE4153.pdf

Vérification de propriétés faiblement dures des systèmes quasi-synchrones

Autori: Smeding, Gideon

Predmety: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, embedded systems, synchronous, data-flow, quasi-synchronous, asynchronous, formal verification

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00925626
http://tel.archives-ouvertes.fr/docs/00/92/56/26/PDF/thesis_1_.pdf

Contribution à la robustesse des systèmes temps réel embarqués multicœur automobile

Autori: Cotard, Sylvain

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, systèmes temps réel, sûreté de fonctionnement, vérification en ligne, détection d'erreurs, flots de données, mémoire transactionnelle, wait-free, multicœur

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00936548
http://tel.archives-ouvertes.fr/docs/00/93/65/48/PDF/scotard_thesis.pdf

Analyse probabiliste des systèmes temps réel

Autori: Maxim, Dorin

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Systèmes Temps Réel Probabilistes, Algorithmes d'Ordonnancement Optimaux, Re-échantillonnage Temps Réel, Monoprocesseur, Réseau CAN

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00923006
http://tel.archives-ouvertes.fr/docs/00/92/37/88/PDF/thesis_Dorin_MAXIM.pdf

SIAAM: Isolation dynamique pour une machine abstraite à base d'acteurs

Autori: Sabah, Quentin

Predmety: [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, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, acteurs, isolation, ownership, concurrence, modele de programmation, passage de messages, machine virtuelle

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00933072
http://tel.archives-ouvertes.fr/docs/00/93/30/72/PDF/thesis_sabah.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

Aide à l'Analyse de Traces d'Exécution dans le Contexte des Microcontrôleurs

Autori: Amiar, Azzeddine

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, analyse, localisation de faute, microcontrôleur

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00978227
http://tel.archives-ouvertes.fr/docs/00/97/82/27/PDF/These.pdf

Ordonnancement temps-réel des graphes flots de données

Autori: Bouakaz, Adnan

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Modèles de calcul flots de données, Ordonnancement temps-réel, Relations affine, Analyse paramétrique d'ordonnançabilité, Java pour les systèmes critiques

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00916515
http://tel.archives-ouvertes.fr/docs/00/94/46/30/PDF/these.pdf

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

Autori: Pasteur, Cédric

Predmety: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [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_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Concurrence, Raffinement, Langages synchrones, Langages fonctionnels, Sémantique, Systèmes de types-et-effets, Parallélisme

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00934919
http://tel.archives-ouvertes.fr/docs/00/93/49/19/PDF/Pasteur-These.pdf

High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip

Autori: An, Xin

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Multiprocessor Systems-on-Chip (MPSoCs), adaptive embedded system, early design analysis, evaluation and validation, cost-effective methodologies, synchronous approach, formal method, discrete controller synthesis (DCS)

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00904884
http://tel.archives-ouvertes.fr/docs/00/90/48/84/PDF/thesis.pdf

Certification of an Instruction Set Simulator

Autori: Shi, Xiaomu

Predmety: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Coq, CompCert, simulation, vérification, preuve formelle

Dostupnosť: http://tel.archives-ouvertes.fr/tel-00937524
http://tel.archives-ouvertes.fr/docs/00/93/75/24/PDF/thesis.pdf

Debugging Embedded Multimedia Application Execution Traces through Periodic Pattern Mining

Autori: Lopez Cueva, Patricia

Predmety: [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, [INFO:INFO_DB] Computer Science/Databases, [INFO:INFO_DB] Informatique/Base de données, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, fouille de données, patterns périodiques, systèmes embarqués, analyse de traces, visualisation

Dostupnosť: http://tel.archives-ouvertes.fr/tel-01006213
http://tel.archives-ouvertes.fr/docs/01/00/62/13/PDF/ThesisPatriciaLopezCueva.pdf