Opin vísindi

Browsing by Subject "Hugbúnaðargerð"

Browsing by Subject "Hugbúnaðargerð"

Sort by: Order: Results:

  • Goriac, Eugen Ioan (Háskólinn í Reykjavík, 2013-03-24)
    Structural Operational Semantics (SOS) is a well known standard for specifying language semantics in a natural, yet rigorous way. Once a formal way of checking for the equivalence of two programs written in such a language is provided, it is of great ...
  • 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 ...
  • Samuelsson, Sigurdur Gauti; Book, Matthias (Association for Computing Machinery (ACM), 2020-11-04)
    Software engineers routinely use sketches (informal, ad-hoc drawings) to visualize and communicate complex ideas for colleagues or themselves. We hypothesize that sketching could also be used as a novel interaction modality in integrated software ...
  • Sumner, Eric Michael; Aach, Marcel; Lintermann, Andreas; Unnthorsson, Runar; Riedel, Morris (IEEE, 2022-02-16)
    Sound localization is the ability of humans to determine the source direction of sounds that they hear. Emulating this capability in virtual environments can have various societally relevant applications enabling more realistic virtual acoustics. We ...
  • Samuelsson, Sigurdur Gauti; Book, Matthias (Association for Computing Machinery (ACM), 2020-06-27)
    Powerful software tools, such as software development environments, often have complex graphical user interfaces (GUIs) that are not intuitive to handle, especially when performing complex, multi-step operations. We hypothesize that sketching could be ...