Sökning: "Dave Clarke"

Hittade 2 avhandlingar innehållade orden Dave Clarke.

1. 1. Capability-Based Type Systems for Concurrency Control

   Författare :Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Type Systems; Capabilities; Concurrency; Parallelism; Data-Race Freedom; Lock-Free Data Structures; Object-Oriented Programming; Actors; Active Objects; Object Calculi; Semantics;

   Sammanfattning : Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware vendors have had to turn to multi-core computers. Today, parallel hardware is everywhere, from massive server halls to the phones in our pockets. However, this parallelism does not come for free. LÄS MER

3. 2. Protecting Functional Programs From Low-Level Attackers

   Författare :Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

   Sammanfattning : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. LÄS MER