Search for dissertations about: "program analysis"

Showing result 1 - 5 of 862 swedish dissertations containing the words program analysis.

2. 1. Program Matters : From Drawing to Code

   Author : Pablo Miranda Carranza; Katja Grillner; Daniel Koch; Charlie Gulström Hughes; Molly Wright Steenson; KTH; []
   Keywords : HUMANIORA; HUMANITIES; program; algorithm; code; drawing; geometry; notation; score; literacy; writing systems; diagram; formalism; sequence; cybernetics; materiality; research programme; archeological; archive; discourse analysis; practice-based; artefact; bricolage; Architecture; Arkitektur;

   Abstract : Whether on paper, on site or mediating between both, means for reading and writing geometry have been central to architecture: the use of compasses and rulers, strings, pins, stakes or plumb-lines enabled the analysis and reproduction of congruent figures on different surfaces since antiquity, and from the renaissance onwards, the consistent planar representation of three-dimensional shapes by means of projective geometry. Tacitly through practice, or explicitly encoded in classical geometry, the operational syntaxes of drawing instruments, real or imaginary, have determined the geometric literacies regulating the production and instruction of architecture. READ MORE

4. 2. Parallelized Program Analysis

   Author : Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

   Abstract : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. READ MORE

5. 3. Deductive Program Analysis with First-Order Theorem Provers

   Author : Simon Robillard; Chalmers tekniska högskola; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

   Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

6. 4. Benchmarking Points-to Analysis

   Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

   Abstract : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. READ MORE

7. 5. Parametric WCET Analysis

   Author : Stefan Bygde; Björn Lisper; Raimund Kirner; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; WCET Analysis; parametric WCET Analysis; WCET; Timing; Computer Science; datavetenskap;

   Abstract : In a real-time system, it is crucial to ensure that all tasks of the system hold their deadlines. A missed deadline in a real-time system means that the system has not been able to function correctly. If the system is safety critical, this could potentially lead to disaster. READ MORE