Sökning: "Karl Palmskog"

Hittade 1 avhandling innehållade orden Karl Palmskog.

1. 1. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management

   Författare :Karl Palmskog; Mads Dam; Rocco De Nicola; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed objects; decentralization; implementation correctness; network protocols; object mobility; Computer Science; Datalogi;

   Sammanfattning : The Internet as of 2014 connects billions of devices, and is expected to connect tens of billions by 2020. To meet escalating requirements, networks must be scalable, easy to manage, and be able to efficiently execute programs and disseminate data. The prevailing use of centralized systems and control in, e.g. LÄS MER