Search for dissertations about: "Susanna Nordström"
Found 2 swedish dissertations containing the words Susanna Nordström.
-
1. Configurable Hardware Support for Single Processor Real-Time Systems
Abstract : 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. READ MORE
-
2. Lower Bounds and Trade-offs in Proof Complexity
Abstract : 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. READ MORE