Showing 161 - 180 results of 294 for search ' Schloss Dagstuhl', query time: 0.11s Refine Results
  1. 161
    LITES, Volume 1, Issue 2

    LITES, Volume 1, Issue 2

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

    LITES, Volume 4, Issue 2

    Published 2017-07-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  3. 163
    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
  4. 164
    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
  5. 165
    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
  6. 166
    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
  7. 167
    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
  8. 168
    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
  9. 169
    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
  10. 170
    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
  11. 171
    LITES, Volume 8, Issue 1

    LITES, Volume 8, Issue 1

    Published 2022-11-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  12. 172
    Introduction to the Special Issue on Distributed Hybrid Systems

    Introduction to the Special Issue on Distributed Hybrid Systems by Abate, Alessandro, Fahrenberg, Uli, Fränzle, Martin

    Published 2022-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  13. 173
    Towards Ordinal Data Science

    Towards Ordinal Data Science by Stumme, Gerd, Dürrschnabel, Dominik, Hanika, Tom

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

    LITES, Volume 7, Issue 1

    Published 2021-08-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  15. 175
    TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox

    TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox by Helmstetter, Claude

    Published 2014-04-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  16. 176
    Errata for Three Papers (2004-05) on Fixed-Priority Scheduling with Self-Suspensions

    Errata for Three Papers (2004-05) on Fixed-Priority Scheduling with Self-Suspensions by Bletsas, Konstantinos, Audsley, Neil C., Huang, Wen-Hung, Chen, Jian-Jia, Nelissen, Geoffrey

    Published 2018-05-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  17. 177
    Implementing Mixed-criticality Systems Upon a Preemptive Varying-speed Processor

    Implementing Mixed-criticality Systems Upon a Preemptive Varying-speed Processor by Guo, Zhishan, Baruah, Sanjoy K.

    Published 2014-09-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  18. 178
    From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation

    From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation by Carle, Thomas, Potop-Butucaru, Dumitru, Sorel, Yves, Lesens, David

    Published 2015-11-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  19. 179
    Transactions on Graph Data and Knowledge

    Transactions on Graph Data and Knowledge by Hogan, Aidan, Horrocks, Ian, Hotho, Andreas, Kagal, Lalana

    Published 2023-12-01
    “…Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik…”
    Get full text
    Article
  20. 180
    How Does Knowledge Evolve in Open Knowledge Graphs?

    How Does Knowledge Evolve in Open Knowledge Graphs? by Polleres, Axel, Pernisch, Romana, Bonifati, Angela, Dell'Aglio, Daniele, Dobriy, Daniil, Dumbrava, Stefania, Etcheverry, Lorena, Ferranti, Nicolas, Hose, Katja, Jiménez-Ruiz, Ernesto, Lissandrini, Matteo, Scherp, Ansgar, Tommasini, Riccardo, Wachs, Johannes

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

Search Tools: