Search for dissertations about: "hardware support"

Showing result 1 - 5 of 194 swedish dissertations containing the words hardware support.

2. 1. MIMO Systems with Residual Hardware Impairments

   Author : Xinlin Zhang; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; training length.; residual hardware impairments; large-scale MIMO; Achievable rate; channel estimation; channel capacity; energy efficiency;

   Abstract : Recent years have witnessed an unprecedented explosion in mobile data traffic, due to the expansion of numerous types of wireless devices, which have enabled a plethora of data-hungry applications. Novel techniques, such as large-scale multiple-input multiple-output (MIMO) systems, represent potential candidates to support the ever-growing demands. READ MORE

4. 2. Building Verified Hardware and Verified Stacks in HOL

   Author : Andreas Lööw; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; hardware synthesis; compilers; formal verification; interactive theorem proving;

   Abstract : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways and all proof steps (be it manual or automated) are mechanically checked. READ MORE

5. 3. Configurable Hardware Support for Single Processor Real-Time Systems

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

   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

6. 4. An Integrated System-Level Design for Testability Methodology

   Author : Erik Larsson; Zebo Peng; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Digital systems; Test design; System-on-chip; Hardware; Systems design; Testing; Dissertations; Hårdvara; Systemutveckling; Testning; Databehandling Systemutveckling; Computer and systems science; Data- och systemvetenskap;

   Abstract : HARDWARE TESTING is commonly used to check whether faults exist in a digital system. Much research has been devoted to the development of advanced hardware testing techniques and methods to support design for testability (DFT). READ MORE

7. 5. Compiler-Based Approaches to Reduce Memory. Access Penalties in Cache Coherent Multiprocessors

   Author : Jonas Skeppstedt; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; compiler analysis; hardware support; performance evaluation; memory access penalty; cache coherent multiprocessors;

   Abstract : To reduce the average time needed to perform a read or a write access in a multiprocessor, a cache is associated with each processor. A hardware mechanism is used to ensure that the replicated cache copies are consistent. This mechanism employs a protocol which controls when a node may read and/or write a shared data item. READ MORE