Search for dissertations about: "dynamic flow"

Showing result 1 - 5 of 582 swedish dissertations containing the words dynamic flow.

  2. 1. 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

  4. 2. Choreographing Flow : A Study in Concrete Deposition

    Author : Helena Westerlind; Hélèna Frichot; Marcelyn Gow; KTH; []
    Keywords : HUMANIORA; HUMANITIES; Architectural Technology; Arkitekturteknik;

    Abstract : The traditional use of concrete in architecture is fundamentally conditioned by the inverse relationship that exists between material and formwork. When poured into a mold, a homogenous mixture takes the shape of its container. More detailed adjustment of the structure of concrete, however, is not possible. READ MORE

  5. 3. 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

  6. 4. Numerical Studies of Flow and AssociatedLosses in the Exhaust Port of a Diesel Engine

    Author : Yue Wang; Laszlo Fuchs; Mihai Mihaescu; Angelo Onorati; KTH; []
    Keywords : Internal Combustion Engine; Exhaust flow; Exhaust Valve; Exhaust Port; Large Eddy Simulation; Valve and Piston Motion; Total Pressure Losses; Energy Losses; Discharge coefficient; Flow Losses; Flow structures; Air Flow Bench; Engine-like Conditions; SRA - Energy; SRA - Energi;

    Abstract : In the last decades, the focus of internal combustion engine development has moved towards more efficient and less pollutant engines. In a Diesel engine, approximately 30-40% of the energy provided by combustion is lost through the exhaust gases. The exhaust gases are hot and therefore rich of energy. READ MORE

  7. 5. Information-Flow Tracking for Dynamic Languages

    Author : Luciano Bello; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; information security; information integrity; dependency analysis; information confidentiality; information flow; privacy;

    Abstract : This thesis explores information-flow tracking technologies and their applicability on industrial-scale dynamic programming languages. We aim to narrow the gap between the need for flexibility in current dynamic languages and the solid well-studied mechanisms from academia. READ MORE