Sökning: "Datavetenskap med inriktning mot inbyggda system"
Hittade 5 avhandlingar innehållade orden Datavetenskap med inriktning mot inbyggda system.
1. New techniques for handling quantifiers in Boolean and first-order logic
Sammanfattning : 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. LÄS MER
2. Quantifiers and Theories : A Lazy Approach
Sammanfattning : 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. LÄS MER
3. Models and Complexity Results in Real-Time Scheduling Theory
Sammanfattning : 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. LÄS MER
4. Approximations and abstractions for reasoning about machine arithmetic
Sammanfattning : 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. LÄS MER
5. Design and Identification of Wireless Transmitters for a Low-power and Secure Internet of Things
Sammanfattning : 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. LÄS MER