Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Fredriksson, Olle"'
Autor:
Berenett, Emanuel, Fredriksson, Olle
This thesis’s main purpose is to understand the recent debate in Sweden concerning the vaccine passport that was caused due to the recent spread of the corona virus. The focus is on what a variety of arguments and positions from different public po
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-46716
Autor:
Fredriksson, Olle
Today's distributed programs are often written using either explicit message passing or Remote Procedure Calls (RPCs) that are not natively integrated in the language. It is difficult to establish the correctness of programs written this way compared
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.665795
Autor:
Fredriksson, Olle
We present a new abstract machine, called DCESH, which describes the execution of higher-order programs running in distributed architectures. DCESH implements a generalised form of Remote Procedure Call that supports calling higher-order functions ac
Externí odkaz:
http://arxiv.org/abs/1401.5097
Autor:
Fredriksson, Olle, Ghica, Dan R.
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeting distributed systems. This is achieved in two steps. First we introd
Externí odkaz:
http://arxiv.org/abs/1304.4159
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM International Conference Proceeding Series; Oct2014, p1-12, 12p
Autor:
Fredriksson, Olle, Ghica, Dan R.
Publikováno v:
Proceedings of the 19th ACM SIGPLAN International Conference Functional Programming; 8/19/2014, p349-361, 13p
Autor:
Fredriksson, Olle, Ghica, Dan R.
Publikováno v:
Trustworthy Global Computing (9783642411564); 2013, p34-48, 15p