Search for dissertations about: "Concurrency Control"
Showing result 1 - 5 of 30 swedish dissertations containing the words Concurrency Control.
-
1. Dependable Distributed Control System : Redundancy and Concurrency defects
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
-
2. Capability-Based Type Systems for Concurrency Control
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
-
3. Securing concurrent programs with dynamic information-flow control
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
-
4. A Sequential Control Language for Industrial Automation
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
-
5. Securing functional programs with floating-label information-flow control
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