Search for dissertations about: "concurrency control"

Showing result 1 - 5 of 30 swedish dissertations containing the words concurrency control.

2. 1. Dependable Distributed Control System : Redundancy and Concurrency defects

   Author : Bjarne Johansson; Thomas Nolte; Alessandro Papadopoulos; Luis Almeida; Mälardalens universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Abstract : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. READ MORE

4. 2. Capability-Based Type Systems for Concurrency Control

   Author : Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

5. 3. Securing concurrent programs with dynamic information-flow control

   Author : Pablo Buiras; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; dynamic; lazy evaluation; LIO; Haskell; information-flow control; cache; covert channels; covert timing channels; concurrency;

   Abstract : The work presented in this thesis focusses on dealing with timingcovert channels in dynamic information-flow control systems,particularly for the LIO library in Haskell.Timing channels are dangerous in the presence ofconcurrency. READ MORE

6. 4. A Sequential Control Language for Industrial Automation

   Author : Alfred Theorin; Institutionen för reglerteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Grafchart; service oriented architecture; event-driven architecture; flexible production systems; industry 4.0; real-time; FMI; PID;

   Abstract : Current market trends for industrial automation are the need for customizable production, shorter time to market, and powerful global competitive pressure. Based on these trends two challenges have been identified: 1) flexible production systems and 2) integration and utilization of devices and software. READ MORE

7. 5. Securing functional programs with floating-label information-flow control

   Author : Pablo Buiras; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

   Abstract : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. READ MORE