Search for dissertations about: "Type Systems"

Showing result 1 - 5 of 2185 swedish dissertations containing the words Type Systems.

  2. 1. Functional Programming for Embedded Systems

    Author : Abhiroop Sarkar; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Timing; Concurrency; Functional Programming; Virtual Machine; Language Runtime;

    Abstract : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. READ MORE

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

  5. 3. Perceive those things which cannot be seen : A cognitive systems engineering perspective on requirements management

    Author : Åsa Hedenskog; Rune Gustavsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software tools; Usability requirements; Cognitive systems engineering; Systems engineering; Systemteknik;

    Abstract : Non-functional requirements contribute to the overall quality of software, and should therefore be a part of any development effort. However, in practice they are often considered to be too difficult to handle. The purpose of this thesis is to gain understanding of where the nature and origin of these difficulties may lie. READ MORE

  6. 4. Competence Systems

    Author : Rikard Lindgren; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Competence systems; design; adoption; knowledge work; knowledge work;

    Abstract : Today, more and more organizations rely upon the competencies of their staffs. This increasing reliance on competence has triggered many organizations to implement competence systems in order to support staff allocation and competence development. READ MORE

  7. 5. Sources of Variations in Error Sensitivity of Computer Systems

    Author : Fatemeh Ayatolahi; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; error sensitivity; compiler optimization; transient fault; bit flipping; fault tolerance; fault injection;

    Abstract : Technology scaling is reducing the reliability of integrated circuits. This makes it important to provide computers with mechanisms that can detect and correct hardware errors. This thesis deals with the problem of assessing the hardware error sensitivity of computer systems. READ MORE