Search for dissertations about: "Program"

Showing result 1 - 5 of 1783 swedish dissertations containing the word Program.

  1. 1. ProGram a grammar-based method for specification and hardware synthesis of communication protocols

    University dissertation from Institutionen för elektronisk systemkonstruktion

    Author : Johnny Öberg; KTH.; [1999]
    Keywords : ;

    Abstract : .... READ MORE

  2. 2. Program Matters From Drawing to Code

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Pablo Miranda Carranza; KTH.; [2017]
    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

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

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Simon Robillard; [2019]
    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

  4. 4. Parallelized Program Analysis

    University dissertation from Växjö, Kalmar : Linnaeus University Press

    Author : Marcus Edvinsson; Linnéuniversitetet.; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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. 5. A program manipulation system based on partial evaluation

    University dissertation from Linköping : Linköpings universitet

    Author : Anders Haraldsson; Linköpings universitet.; Linköpings universitet.; [1977]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program manipulation; partial evaluation; program optimization; LISP; beta-expansion; macro-expansion; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. READ MORE