Opin vísindi

Fletta eftir efnisorði "Tímastjórnun"

Fletta eftir efnisorði "Tímastjórnun"

Röðun: Raða: Niðurstöður:

  • Icon
    Compositional schedulability analysis of real-time actor-based systems 
    Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; sirjani, marjan (Springer Science and Business Media LLC, 2016-01-25)
    We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability ...
  • Icon
    Gender, agency, and time use among doctorate holders: The case of Iceland 
    Staub, Maya; Rafnsdóttir, Gudbjörg LINDA (SAGE Publications, 2019-11-19)
    This article investigates how doctorate holders in Iceland make sense of time and utilize their own time management as an instrument in their career development and whether gender is a defining factor in this context. The project is based on 32 ...
  • Icon
    Modeling, verification, and analysis of timed actor-based models 
    Khamespanah, Ehsan (2018-06)
    In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...