Opin vísindi

Fletta eftir efnisorði "Algorithms"

Fletta eftir efnisorði "Algorithms"

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

  • 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 ...
  • Icon
    Rule Formats for Nominal Process Calculi 
    Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (2019-10-14)
    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...