Sökning: "C programming language"

Visar resultat 11 - 15 av 39 avhandlingar innehållade orden C programming language.

  1. 11. Embedded real-time software using TinyTimber : reactive objects in C

    Författare :Johan Eriksson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Sammanfattning : Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manifest in the high-level programming and systems modeling language Timber. LÄS MER

  3. 12. Software Engineering using Typed Functional Programming

    Författare :Jean-Philippe Bernardy; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming types polymorphism type-classes;

    Sammanfattning : This thesis makes three distinct contributions to software engineering, usingtyped functional programming.First, we present a schema to reduce polymorphic properties to an equivalentmonomorphic property, for the purpose of testing. Our proof uses parametricity andproperties of initial algebras. LÄS MER

  4. 13. Programming embedded real-time systems : implementation techniques for concurrent reactive objects

    Författare :Simon Aittamaa; Mikael Sjödin; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Sammanfattning : An embedded system is a computer system that is a part of a larger device with hardware and mechanical parts. Such a system often has limited resources (such as processing power, memory, and power) and it typically has to meet hard real-time requirements. LÄS MER

  5. 14. Low-level analysis of microarray data

    Författare :Henrik Bengtsson; Matematisk statistik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; programmering; aktuariematematik; Statistik; operationsanalys; Statistics; operations research; programming; actuarial mathematics;

    Sammanfattning : This thesis consists of an extensive introduction followed by seven papers (A-F) on low-level analysis of microarray data. Focus is on calibration and normalization of observed data. The introduction gives a brief background of the microarray technology and its applications in order for anyone not familiar with the field to read the thesis. LÄS MER

  7. 15. Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction

    Författare :Emil Axelsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; wire-awareness; hardware design; functional programming; embedded domain-specific languages;

    Sammanfattning : Continuous down-scaling of sizes in VLSI circuits causes low-level electrical phenomena to become more and more prominent performance stoppers in modern chip technologies. This forces designers to work at a lower level of abstraction than desired in order to gain control over these effects. LÄS MER