Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-6 av 6

2019
1 Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11424. s. 332-350
UiO HVL Untitled
 
2 Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming 2019 ;Volum 179. s. 24-53
UiO HVL Untitled
 
3 de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi.
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 ;Volum 302. s. 1-15
UiO HVL Untitled
 
4 Fernandez-Reyes, Kiko; Clarke, Dave; Henrio, Ludovic; Johnsen, Einar Broch; Wrigstad, Tobias.
Godot: All the benefits of implicit and explicit futures. Leibniz International Proceedings in Informatics 2019 ;Volum 134.
UiO Untitled
 
5 Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin; Yu, Ingrid Chieh.
Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming 2019 ;Volum 181. s. 1-26
UiO HVL Untitled
 
6 Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch.
Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11724 LNCS. s. 48-66
UiO Untitled