Opin vísindi

Fletta eftir efnisorði "Prófanir"

Fletta eftir efnisorði "Prófanir"

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
    The glaucoma intensive treatment study : interim results from an ongoing longitudinal randomized clinical trial 
    Bengtsson, Boel; Lindén, Christina; Heijl, Anders; Andersson-Geimer, Sabina; Aspberg, Johan; Jóhannesson, Gauti (2021-07-29)
    Purpose: The aim of the study was to determine the perimetric rate of glaucoma progression in the ongoing Glaucoma Intensive Treatment Study (GITS) after 3 years of follow-up. Design: This is a randomized, two-centre, prospective open-labelled treatment ...
  • Icon
    Identifying and explicating knowledge on method transfer: a sectoral system of innovation approach 
    Hvannberg, Ebba Thora (Springer Nature, 2013-11-13)
    With the advances in information technology and its increasing impact on humans and society, there has been an expanding need to spread knowledge from domain to domain. This need is not least in the area of human–computer interaction, which includes a ...
  • Icon
    On learning stochastic models : from theory to practice 
    Reynouard, Raphaël (2024-11-14)
    The field of model checking offers numerous tools for analysing stochastic models. This analysis provides a comprehensive understanding of the behaviours exhibited by the system represented in the model. Consequently, such analyses are of paramount ...