2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.NI2023
Energy Consumption Optimization in Radio Access Networks (ECO-RAN)
Anders Mariegaard, Kim G. Larsen, Marco Muniz +1
In recent years, mobile network operators are showing interest in reducing energy consumption. Toward this goal, in cooperation with the Danish company 2Operate we have developed a…
cs.LO2016★ 2 cited
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single…