Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
![Foto de Instituto de Tecnología del Conocimiento (ITC)](/img/uploaded/0537A1CB55770E7FE3E05B6931EDA813.jpg)
![Foto de Centrum Wiskunde & Informatica](/img/noimage_org.png)
Centrum Wiskunde & Informatica
Ámsterdam, HolandaPublicaciones en colaboración con investigadores/as de Centrum Wiskunde & Informatica (4)
2020
-
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234
2017
-
A formal, resource consumption-preserving translation of actors to Haskell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Service Oriented Computing and Applications, Vol. 8, Núm. 4, pp. 323-339
2013
-
Engineering virtualized services
ACM International Conference Proceeding Series