Opin vísindi

Browsing Háskólinn í Reykjavík by Department "School of Computer Science (RU)"

Browsing Háskólinn í Reykjavík by Department "School of Computer Science (RU)"

Sort by: Order: Results:

  • Icon
    Developing theoretical foundations for runtime enforcement 
    Cassar, Ian (2021-01)
    The ubiquitous reliance on software systems is increasing the need for ensuring their correctness. Runtime enforcement is a monitoring technique that uses moni- tors that can transform the actions of a system under scrutiny in order to alter its runtime ...
  • Icon
    Improved distributed algorithms for coloring interval graphs with application to multicoloring trees 
    Halldórsson, Magnús M.; Konrad, Christian (Elsevier BV, 2020-04)
    We give a distributed (1+eps)-approximation algorithm for the minimum vertex coloring problem on interval graphs, which runs in the LOCAL model and operates in O((1/eps) log* n) rounds. If nodes are aware of their interval representations, then the ...
  • Icon
    Leader election in SINR model with arbitrary power control 
    Halldórsson, Magnús M.; Holzer, Stephan; Markatou, Evangelia Anna; Lynch, Nancy (Elsevier BV, 2020-04)
    We consider the Leader Election Problem in the Signal-to-Interference-plusNoise-Ratio (SINR) model where nodes can adjust their transmission power. We show that in this setting it is possible to elect a leader in two communication rounds, with high ...