Search for dissertations about: "Embedded System"

Showing result 21 - 25 of 767 swedish dissertations containing the words Embedded System.

  2. 21. A time constrained real-time process calculus

    Author : Viktor Leijon; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. READ MORE

  4. 22. Applications of decision diagrams in digital circuit design

    Author : Per Lindgren; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : Design methodology of digital circuits is a rapidly changing field. In the last 20 years, the number of transistors on a single chip has increased from thousands to tens of millions. This sets new demands on the design tools involved, their ability to capture specifications on a high level, and finally synthesize them into hardware implementations. READ MORE

  5. 23. Dealing with imcompleteness in circuit design under Kleenean strong ternary logic

    Author : Per Lindgren; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : .... READ MORE

  6. 24. A type-based framework for locating errors in constraint logic programs

    Author : Pawel Pietrzak; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Inbyggda system; Embedded System; Computer science;

    Abstract : .... READ MORE

  7. 25. Static incorrectness diagnosis of CLP(FD)

    Author : Pawel Pietrzak; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : .... READ MORE