Opin vísindi

Browsing Doktorsritgerðir - HR by Subject "Hermilíkön"

Browsing Doktorsritgerðir - HR by Subject "Hermilíkön"

Sort by: Order: Results:

  • Icon
    Agora : unified framework for crowd simulation research 
    Diamanti, Michelangelo (2023-06)
    Crowd simulation focuses on modeling the movements and behaviors of large groups of people. This area of study has become increasingly important because of its several applications in various fields such as urban planning, safety, and entertainment. ...
  • Icon
    Axiomatizations from Structural Operational Semantics: Theory and Tools 
    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 ...
  • Icon
    Performance evaluation and model checking of probabilistic real-time actors 
    Ali, Jafari (2016-06)
    This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors. Recently, the actor-based language, Timed Rebeca, was introduced to model distributed and ...