Sökning: "Program Analysis"

Visar resultat 1 - 5 av 882 avhandlingar innehållade orden Program Analysis.

  1. 1. Program Matters : From Drawing to Code

    Författare :Pablo Miranda Carranza; Katja Grillner; Daniel Koch; Charlie Gulström Hughes; Molly Wright Steenson; KTH; []
    Nyckelord :HUMANITIES; HUMANIORA; 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;

    Sammanfattning : 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. LÄS MER

  2. 2. Parallelized Program Analysis

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Simon Robillard; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; HUMANIORA; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; HUMANITIES; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Sammanfattning : 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. LÄS MER

  4. 4. Benchmarking Points-to Analysis

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

    Sammanfattning : 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. LÄS MER

  5. 5. Parametric WCET Analysis

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

    Sammanfattning : 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. LÄS MER