Showing 1 - 20 results of 100 for search 'Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik', query time: 0.09s Refine Results
  1. 1
    A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems

    A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems by Davis, Robert I., Cucu-Grosjean, Liliana

    Published 2019-05-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  2. 2
    A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems

    A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems by Davis, Robert I., Cucu-Grosjean, Liliana

    Published 2019-05-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  3. 3
    Programming Language Constructs Supporting Fault Tolerance

    Programming Language Constructs Supporting Fault Tolerance by Houben, Christina, Houben, Sebastian

    Published 2016-06-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  4. 4
    Computation Offloading for Frame-Based Real-Time Tasks under Given Server Response Time Guarantees

    Computation Offloading for Frame-Based Real-Time Tasks under Given Server Response Time Guarantees by Toma, Anas S. M., Chen, Jian-Jia

    Published 2014-09-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  5. 5
    Trust, Accountability, and Autonomy in Knowledge Graph-Based AI for Self-Determination

    Trust, Accountability, and Autonomy in Knowledge Graph-Based AI for Self-Determination by Ibáñez, Luis-Daniel, Domingue, John, Kirrane, Sabrina, Seneviratne, Oshani, Third, Aisling, Vidal, Maria-Esther

    Published 2023-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  6. 6
    Autonomy in the Age of Knowledge Graphs: Vision and Challenges

    Autonomy in the Age of Knowledge Graphs: Vision and Challenges by Calbimonte, Jean-Paul, Ciortea, Andrei, Kampik, Timotheus, Mayer, Simon, Payne, Terry R., Tamma, Valentina, Zimmermann, Antoine

    Published 2023-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  7. 7
    Foreword

    Foreword by Burns, Alan

    Published 2014-04-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  8. 8
    Foreword

    Foreword by Burns, Alan, Goddard, Steve

    Published 2021-08-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  9. 9
    Real-Time Scheduling on Uni- and Multiprocessors based on Priority Promotions

    Real-Time Scheduling on Uni- and Multiprocessors based on Priority Promotions by Pathan, Risat Mahmud

    Published 2016-06-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  10. 10
    A Survey on Static Cache Analysis for Real-Time Systems

    A Survey on Static Cache Analysis for Real-Time Systems by Lv, Mingsong, Guan, Nan, Reineke, Jan, Wilhelm, Reinhard, Yi, Wang

    Published 2016-06-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  11. 11
    LITES, Volume 2, Issue 2

    LITES, Volume 2, Issue 2

    Published 2015-11-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  12. 12
    Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation

    Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation by Kröger, Paul, Fränzle, Martin

    Published 2022-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  13. 13
    Susceptibility to Image Resolution in Face Recognition and Training Strategies to Enhance Robustness

    Susceptibility to Image Resolution in Face Recognition and Training Strategies to Enhance Robustness by Knoche, Martin, Hörmann, Stefan, Rigoll, Gerhard

    Published 2022-11-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  14. 14
    A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

    A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems by Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner

    Published 2022-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  15. 15
    LITES, Volume 3, Issue 1

    LITES, Volume 3, Issue 1

    Published 2016-06-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  16. 16
    Multilingual Knowledge Graphs and Low-Resource Languages: A Review

    Multilingual Knowledge Graphs and Low-Resource Languages: A Review by Kaffee, Lucie-Aimée, Biswas, Russa, Keet, C. Maria, Vakaj, Edlira Kalemi, de Melo, Gerard

    Published 2023-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  17. 17
    Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems

    Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems by Mezzetti, Enrico, Ziccardi, Marco, Vardanega, Tullio, Abella, Jaume, Quiñones, Eduardo, Cazorla, Francisco J.

    Published 2015-06-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  18. 18
    HW-Flow: A Multi-Abstraction Level HW-CNN Codesign Pruning Methodology

    HW-Flow: A Multi-Abstraction Level HW-CNN Codesign Pruning Methodology by Vemparala, Manoj-Rohit, Fasfous, Nael, Frickenstein, Alexander, Valpreda, Emanuele, Camalleri, Manfredi, Zhao, Qi, Unger, Christian, Nagaraja, Naveen-Shankar, Martina, Maurizio, Stechele, Walter

    Published 2022-11-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  19. 19
    Micro- and Macroscopic Road Traffic Analysis using Drone Image Data

    Micro- and Macroscopic Road Traffic Analysis using Drone Image Data by Kruber, Friedrich, Sánchez Morales, Eduardo, Egolf, Robin, Wurst, Jonas, Chakraborty, Samarjit, Botsch, Michael

    Published 2022-11-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  20. 20
    Dynamic and Static Task Allocation for Hard Real-Time Video Stream Decoding on NoCs

    Dynamic and Static Task Allocation for Hard Real-Time Video Stream Decoding on NoCs by Mendis, Hashan R., Audsley, Neil C., Indrusiak, Leandro Soares

    Published 2017-07-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article

Search Tools: