Zum Inhalt springen

  1. Stattelmann, Stefan [VerfasserIn]; Martin, Florian [VerfasserIn] ; Stefan Stattelmann and Florian Martin [MitwirkendeR]

    On the Use of Context Information for Precise Measurement-Based Execution Time Estimation

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  2. Dautriche, Rémy [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Termier, Alexandre [MitwirkendeR]; Blanch, Renaud [MitwirkendeR]; Santana, Miguel [MitwirkendeR]

    Multi-scale interaction techniques for the interactive visualization of execution traces ; Techniques d'interaction multi-échelles pour la visualisation interactive de traces d'exécution

    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-10-20

  3. Bousse, Erwan [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Baudry, Benoit [MitwirkendeR]

    Execution trace management to support dynamic V&V for executable DSMLs ; Gestion de traces d'exécution pour permettre la vérification et la validation pour des langages de modélisation dédiés exécutables

    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-12-03

  4. Kløvstad, Åsmund Aqissiaq Arild [VerfasserIn]; Kamburjan, Eduard [VerfasserIn]; Johnsen, Einar Broch [VerfasserIn] ; Åsmund Aqissiaq Arild Kløvstad and Eduard Kamburjan and Einar Broch Johnsen [MitwirkendeR]

    Compositional Correctness and Completeness for Symbolic Partial Order Reduction

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  6. Lopez Cueva, Patricia [VerfasserIn] ; Grenoble [MitwirkendeR]; Méhaut, Jean-François [MitwirkendeR]; Santana, Miguel [MitwirkendeR]; Termier, Alexandre [MitwirkendeR]

    Debugging Embedded Multimedia Application Execution Traces through Periodic Pattern Mining ; Débogage des traces d’exécution des applications multimédia embarquées en utilisant la recherche de motifs périodiques

    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, 2013-07-08

  7. Mouttappa, Pramila [VerfasserIn] ; Evry, Institut national des télécommunications [MitwirkendeR]; Cavalli, Ana [MitwirkendeR]

    A symbolic-based passive testing approach to detect vulnerabilities in networking systems ; [Une approche symbolique basée sur des tests passifs pour détecter les vulnérabilités des systèmes réseaux]

    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, 2013-12-16

  8. Zoor, Maysam [VerfasserIn] ; Institut polytechnique de Paris [MitwirkendeR]; Apvrille, Ludovic [MitwirkendeR]; Pacalet, Renaud [MitwirkendeR]

    Latency verification in execution traces of HW/SW partitioning model ; Vérification de la latence dans les traces d'exécution de modèle de partitionnement logiciel / matériel

    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-08

  9. Kamdem Kengne, Christiane [VerfasserIn] ; Grenoble [MitwirkendeR]; Université de Yaoundé I [MitwirkendeR]; Rousset, Marie-Christine [MitwirkendeR]; Tchuenté, Maurice [MitwirkendeR]

    Abstraction et comparaison de traces d'exécution pour l'analyse d'applications multimédias embarquées ; Abstraction and comparison of execution traces for analysis of embedded multimedia applications

    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-12-05

  10. Emteu Tchagou, Serge Vladimir [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Méhaut, Jean-François [MitwirkendeR]; Santana, Miguel [MitwirkendeR]; Termier, Alexandre [MitwirkendeR]

    Réduction à la volée du volume des traces d'exécution pour l'analyse d'applications multimédia de systèmes embarqués ; Online execution trace reduction for multimedia software analysis of embedded 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, 2015-12-15

  11. Amiar, Azzeddine [VerfasserIn] ; Grenoble [MitwirkendeR]; Bousquet, Lydie du [MitwirkendeR]; Falcone, Yliès Carlo [MitwirkendeR]

    Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits ; Assit to execution trace analysis in the microcontrollers 32 bits context

    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, 2013-11-27

  12. Martin, Alexis [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Marangozova, Vania [MitwirkendeR]

    Infrastructure pour la gestion générique et optimisée des traces d’exécution pour les systèmes embarqués ; Infrastructure for generic and optimized management of execution traces for embedded 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-01-13

  13. Fopa, Léon Constantin [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Université de Yaoundé I [MitwirkendeR]; Méhaut, Jean-François [MitwirkendeR]; Tchuenté, Maurice [MitwirkendeR]; Jouanot, Fabrice [MitwirkendeR]; Termier, Alexandre [MitwirkendeR]

    Mise en contexte des traces pour une analyse en niveaux d'abstraction ; Exploiting context for an structuration of execution traces in abstraction layers

    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-06-23

  14. Ho, Hoang Nam [VerfasserIn] ; La Rochelle [MitwirkendeR]; Estraillier, Pascal [MitwirkendeR]

    Décision multicritère à base de traces pour les applications interactives à exécution adaptative ; Trace-based multi-criteria decision making in interactive application for adaptive execution

    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-12-04

  15. Chen, Yi ting [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Mairesse, Jean [MitwirkendeR]; Abbes, Samy [MitwirkendeR]

    Random generation of executions of concurrent systems ; Génération aléatoire d'exécutions de systèmes concurrents

    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-01-07

  16. Dosimont, Damien [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Huard, Guillaume [MitwirkendeR]

    Agrégation spatiotemporelle pour la visualisation de traces d'exécution ; Spatiotemporal Aggregation for Execution Trace Visualization

    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-06-10

  17. Hamdi, Marwa [VerfasserIn] ; La Rochelle [MitwirkendeR]; Champagnat, Ronan [MitwirkendeR]; Morcos, Jacques [MitwirkendeR]

    Modélisation des processus utilisateurs à partir des traces d’exécution, application aux systèmes d’information faiblement structurés ; User’s Journey Modeling Based on Process Mining for Information Systems with Unstructured Processes

    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-09-01

  20. Vanden Broucke, Seppe [VerfasserIn]; De Weerdt, Joachim [VerfasserIn]; Vanthienen, Jan [VerfasserIn]; Baesens, Bart [VerfasserIn]

    On Replaying Process Execution Traces Containing Positive and Negative Events

    Bücher
    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.

    [S.l.]: SSRN, 2014