Search for dissertations about: "flow-sensitivity"

Found 3 swedish dissertations containing the word flow-sensitivity.

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

  4. 2. Single fibre laser Doppler flowmetry for skeletal muscle perfusion measurements : methodological developments and clinical applications

    Author : Hongming Cai; Linköpings universitet; []
    Keywords : MEDICINE; MEDICIN;

    Abstract : Measurements of microvascular blood flow in skeletal muscle by using the laser Doppler flowmetry (LDF) technique were first reported in 1979. The introduction of the single fibre technique in 1987 increased the possibilities of studying muscle perfusion under various physiological conditions without causing major tissue trauma. READ MORE

  5. 3. Empirical essays on macro-financial linkages

    Author : Ola Melander; Handelshögskolan i Stockholm; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Abstract : How do financial variables, such as firms’ cash flow and banks’ capital, affect macroeconomic variables, such as investment and GDP growth? What are the macroeconomic effects of exchange rate depreciation in countries where firms and households have extensive foreign-currency liabilities? The doctoral thesis Empirical Essays on Macro-Financial Linkages consists of four separate papers in the field of empirical macroeconomics. The first three papers investigate the macroeconomic implications of financial-market imperfections. READ MORE