Sökning: "Susanna Nordström"

Hittade 2 avhandlingar innehållade orden Susanna Nordström.

  1. 1. Configurable Hardware Support for Single Processor Real-Time Systems

    Författare :Susanna Nordström; Lars Asplund; Kristina Lundqvist; Krzysztof Kuchcinski; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; FPGA; real-time system; real-time kernel; RTOS; real-time operating system; vhdl; embedded system; Computer engineering; Datorteknik; Datavetenskap;

    Sammanfattning : This thesis describes a further development of a building block for programmable devices in embedded systems handling real-time functionality.Embedded systems are included in a variety of products within different technical areas such as industrial automation, consumer electronics, automotive industry, and communication-, and multimedia systems. LÄS MER

  3. 2. Lower Bounds and Trade-offs in Proof Complexity

    Författare :Susanna F. de Rezende; Jakob Nordström; Amit Chakrabarti; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; trade-offs; lower bounds; size; length; space; Computer Science; Datalogi;

    Sammanfattning : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. LÄS MER