Zum Inhalt springen

  1. Grosjean, Sylvie [VerfasserIn]

    Enjeux de l’analyse des interactions pour la conception de systèmes d’aide : le cas d’un manuel-utilisateur

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 44, n° 2, pp. 197-212

  2. Feltin, Thomas [VerfasserIn] ; Institut polytechnique de Paris [MitwirkendeR]; Clausen, Thomas [MitwirkendeR]

    Distributed computing at the smart device edge ; Calcul distribué en périphérie de réseau

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-12-15

  3. Nazarpour, Hosein [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Bensalem, Saddek [MitwirkendeR]

    Surveillance de systèmes à composants multi-threads et distribués ; monitoring multi-threaded and distributed (component-based) systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-06-26

  4. Kudireti, Abdurusul [VerfasserIn] ; Reims [MitwirkendeR]; Bui, Alain [MitwirkendeR]

    Clustering avec reconfigurations locales pour des systèmes distribués dynamiques ; Clusterization with local reconfiguration for the dynamical distributed system

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-06-17

  5. Penna, Pedro Henrique [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Pontifícia universidade católica de Minas Gerais (Brésil) [MitwirkendeR]; Méhaut, Jean-François [MitwirkendeR]; Cota de Freitas, Henrique [MitwirkendeR]

    Nanvix : un système d'exploitation distribué pour les processeurs manycore légers ; Nanvix : A Distributed Operating System for Lightweight Manycore Processors

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-09-23

  6. Rosa, Cristian [VerfasserIn] ; Nancy 1 [MitwirkendeR]; Merz, Stephan [MitwirkendeR]; Quinson, Martin [MitwirkendeR]

    Vérification des performances et de la correction des systèmes distribués ; Performance and correctness assessmet of distributed systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-10-24

  7. Civit, Pierre [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Potop-Butucaru, Maria [MitwirkendeR]

    Spécification des systèmes distribués dynamiques probabilistes sécurisés ; Specification of Dynamic Probabilistic Secure Distributed Systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-15

  8. D'Amore, Francesco [VerfasserIn] ; Université Côte d'Azur [MitwirkendeR]; Nisse, Nicolas [MitwirkendeR]

    Sur les comportements collectifs de systèmes distribués bio-inspirés ; On the collective behaviors of bio-inspired distributed systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-10-17

  9. Dellabani, Mahieddine [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Bensalem, Saddek [MitwirkendeR]

    Formal methods for distributed real-time systems ; Méthodes formelles pour les systèmes distribués temps-réel

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-10-31

  10. Bellachehab, Anass [VerfasserIn] ; Evry, Institut national des télécommunications [MitwirkendeR]; Bianchi, Pascal [MitwirkendeR]

    Pairwise gossip in CAT(k) metric spaces ; Gossip pair-à-pair dans les espaces CAT(k)

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-11-10

  11. Ben Said, Najah [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Bensalem, Saddek [MitwirkendeR]; Bozga, Marius [MitwirkendeR]

    Information Flow Security in Component-Based Models : From verification to Implementation ; Sécurité du flux d'information : de la vérification à l'implémentation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-11-07

  12. Quinton, Sophie [VerfasserIn] ; Grenoble [MitwirkendeR]; Graf, Susanne [MitwirkendeR]

    Design, vérification et implémentation de systèmes à composants ; Design, verification and implementation of systems of components

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-01-21

  13. Simonet, Anthony [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Fedak, Gilles [MitwirkendeR]

    Active Data - Enabling Smart Data Life Cycle Management for Large Distributed Scientific Data Sets ; Active Data − Gestion Intelligente du Cycle de Vie des Grands Jeux de Données Scientifiques Distribués

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-07-08

  14. Franca Rezende, Tuanir [VerfasserIn] ; Institut polytechnique de Paris [MitwirkendeR]; Conan, Denis [MitwirkendeR]; Sutra, Pierre [MitwirkendeR]

    Leaderless state-machine replication : from fail-stop to Byzantine failures ; Réplication de machines à états sans leader : des fautes franches aux fautes byzantines

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-12-17

  15. Sid-Otmane, Jonathan [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Shapiro, Marc [MitwirkendeR]

    A study of data consistency constraints in 5G, applied to limiting resource usage in network slices ; Étude des contraintes de cohérence des données dans la 5G, appliquée aux limitations d'usage de ressources dans les slices réseau

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-12-13

  16. Shimi, Adam [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Quéinnec, Philippe [MitwirkendeR]; Hurault, Aurélie [MitwirkendeR]

    On the Power of Rounds : Explorations of the Heard-Of Model ; Sur le pouvoir des tours : explorations du modèle Heard-Of

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-12-14

  18. Tian, Yongchao [VerfasserIn] ; Paris, ENST [MitwirkendeR]; Vukolić, Marko [MitwirkendeR]; Michiardi, Pietro [MitwirkendeR]

    Accéler la préparation des données pour l'analyse du big data ; Accelerating data preparation for big data analytics

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-04-07

  19. Pastorelli, Mario [VerfasserIn] ; Paris, ENST [MitwirkendeR]; Michiardi, Pietro [MitwirkendeR]

    Disciplines basées sur la taille pour la planification des jobs dans data-intensif scalable computing systems ; Size-based disciplines for job scheduling in data-intensive scalable computing systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-07-18

  20. Aublin, Pierre-Louis [VerfasserIn] ; Grenoble [MitwirkendeR]; Quéma, Vivien [MitwirkendeR]

    Vers des protocoles de tolérance aux fautes Byzantines efficaces et robustes ; Efficient and Robust Byzantine Fault Tolerant Replication Protocols

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-01-21