Search for dissertations about: "Datavetenskap med inriktning mot inbyggda system"
Found 5 swedish dissertations containing the words Datavetenskap med inriktning mot inbyggda system.
-
1. New techniques for handling quantifiers in Boolean and first-order logic
Abstract : The automation of reasoning has been an aim of research for a long time. Already in 17th century, the famous mathematician Leibniz invented a mechanical calculator capable of performing all four basic arithmetic operators. READ MORE
-
2. Quantifiers and Theories : A Lazy Approach
Abstract : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. READ MORE
-
3. Models and Complexity Results in Real-Time Scheduling Theory
Abstract : When designing real-time systems, we want to prove that they will satisfy given timing constraints at run time. The main objective of real-time scheduling theory is to analyze properties of mathematical models that capture the temporal behaviors of such systems. READ MORE
-
4. Approximations and abstractions for reasoning about machine arithmetic
Abstract : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE
-
5. Design and Identification of Wireless Transmitters for a Low-power and Secure Internet of Things
Abstract : Wireless communication is a key enabler for connecting billions of Internet of Things devices. For networked embedded devices operating on limited energy resources, wireless communication dominates the power consumption. READ MORE