Search for dissertations about: "Static Analysis"

Showing result 16 - 20 of 512 swedish dissertations containing the words Static Analysis.

  2. 16. Analysis of Acrylamide and Anthocyanins in Foods : Extraction Optimization for Challenging Analytes

    Author : Erik V. Petersson; Charlotta Turner; Johan Rosén; Rolf Danielsson; Marja-Liisa Riekkola; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Analysis; Extraction; Optimization; Acrylamide; Anthocyanins; Foods; Challenges; Analytical chemistry; Analytisk kemi; Analytical Chemistry; Analytisk kemi;

    Abstract : In this thesis, the main concern has been to improve the reliability of different parts of the analytical workflow (Paper I, II, IV &V). Additionally, one of the resulting optimized methods was used in a real application (Paper III). Paper I-II concerned the extraction of acrylamide (AA) from foods. READ MORE

  4. 17. Railway capacity analysis : Methods for simulation and evaluation of timetables, delays and infrastructure

    Author : Anders Lindfeldt; Bo-Lennart Nelldal; Ullrich Martin; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Järnvägsgruppen - Kapacitet; Järnvägsgruppen - Kapacitet;

    Abstract : In this thesis the symptoms and underlying behaviour of congestion on railways are analysed and discussed. As well as in many other countries, Sweden faces increasing demand for transportation. To meet this new demand, railways play an important role. READ MORE

  5. 18. Towards a static cache analysis for whole program analysis

    Author : Xavier Vera; Mälardalens högskola; []
    Keywords : ;

    Abstract : .... READ MORE

  6. 19. Static Timing Analysis of Parallel Systems Using Abstract Execution

    Author : Andreas Gustavsson; Björn Lisper; Jan Gustafsson; Andreas Ermedahl; Nan Guan; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; WCET analysis; parallel systems; multi-core; multicore; threaded programming language; Computer Science; datavetenskap;

    Abstract : The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. READ MORE

  7. 20. Time-lapse Analysis of Borehole and Surface Seismic Data, and Reservoir Characterization of the Ketzin CO2 Storage Site, Germany

    Author : Can Yang; Christopher Juhlin; Rob Arts; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Amplitude anomaly; AVO analysis; Carbon dioxide storage; Moving source profile survey; Reflection coefficient; Reservoir characterization; Static correction; Time-lapse analysis; Geophysics with specialization in Seismology; Geofysik med inriktning mot seismologi;

    Abstract : The CO2SINK (and CO2MAN) project is the first onshore CO2 storage project in Europe. The research site is located near the town of Ketzin, close to Potsdam in Germany. Injection started in June 2008, with a planned injection target of 100,000 tonnes of CO2. READ MORE