Showing 41 - 60 results of 100 for search 'Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik', query time: 0.07s Refine Results
  1. 41
    LITES, Volume 5, Issue 1

    LITES, Volume 5, Issue 1

    Published 2018-05-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  2. 42
    Quantitative Analysis of Consistency in NoSQL Key-Value Stores

    Quantitative Analysis of Consistency in NoSQL Key-Value Stores by Liu, Si, Ganhotra, Jatin, Rahman, Muntasir Raihan, Nguyen, Son, Gupta, Indranil, Meseguer, José

    Published 2017-02-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  3. 43
    LITES, Volume 4, Issue 1

    LITES, Volume 4, Issue 1

    Published 2017-02-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  4. 44
    Optimal Scheduling of Periodic Gang Tasks

    Optimal Scheduling of Periodic Gang Tasks by Goossens, Joël, Richard, Pascal

    Published 2016-06-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  5. 45
    TGDK, Volume 1, Issue 1, Complete Issue

    TGDK, Volume 1, Issue 1, Complete Issue

    Published 2023-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  6. 46
    How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty

    How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty by Hermanns, Holger, Krčál, Jan, Nies, Gilles

    Published 2017-02-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  7. 47
    Modeling Power Consumption and Temperature in TLM Models

    Modeling Power Consumption and Temperature in TLM Models by Moy, Matthieu, Helmstetter, Claude, Bouhadiba, Tayeb, Maraninchi, Florence

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

    LITES, Volume 8, Issue 2

    Published 2022-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  9. 49
    Real-Time Verification for Distributed Cyber-Physical Systems

    Real-Time Verification for Distributed Cyber-Physical Systems by Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

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

    LITES, Volume 1, Issue 2

    Published 2014-09-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  11. 51
    LITES, Volume 4, Issue 2

    LITES, Volume 4, Issue 2

    Published 2017-07-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  12. 52
    From Dissipativity Theory to Compositional Construction of Control Barrier Certificates

    From Dissipativity Theory to Compositional Construction of Control Barrier Certificates by Nejati, Ameneh, Zamani, Majid

    Published 2022-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  13. 53
    Per Processor Spin-Based Protocols for Multiprocessor Real-Time Systems

    Per Processor Spin-Based Protocols for Multiprocessor Real-Time Systems by Afshar, Sara, Behnam, Moris, Bril, Reinder J., Nolte, Thomas

    Published 2017-07-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  14. 54
    Utility-Based Scheduling of (m,k)-firm Real-Time Tasks - New Empirical Results

    Utility-Based Scheduling of (m,k)-firm Real-Time Tasks - New Empirical Results by Kluge, Florian

    Published 2017-02-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  15. 55
    EMSBench: Benchmark and Testbed for Reactive Real-Time Systems

    EMSBench: Benchmark and Testbed for Reactive Real-Time Systems by Kluge, Florian, Rochange, Christine, Ungerer, Theo

    Published 2017-07-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  16. 56
    A Note on the Period Enforcer Algorithm for Self-Suspending Tasks

    A Note on the Period Enforcer Algorithm for Self-Suspending Tasks by Chen, Jian-Jia, Brandenburg, Björn B.

    Published 2017-02-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  17. 57
    Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains

    Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains by Rozier, Eric W. D., Rozier, Kristin Y., Bayram, Ulya

    Published 2017-02-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  18. 58
    Swarms of Mobile Robots: Towards Versatility with Safety

    Swarms of Mobile Robots: Towards Versatility with Safety by Courtieu, Pierre, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier

    Published 2022-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  19. 59
    Structural Summarization of Semantic Graphs Using Quotients

    Structural Summarization of Semantic Graphs Using Quotients by Scherp, Ansgar, Richerby, David, Blume, Till, Cochez, Michael, Rau, Jannik

    Published 2023-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  20. 60
    LITES, Volume 8, Issue 1

    LITES, Volume 8, Issue 1

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

Search Tools: