Sökning: "Hardware architectures"

Visar resultat 11 - 15 av 145 avhandlingar innehållade orden Hardware architectures.

  1. 11. Building Verified Hardware and Verified Stacks in HOL

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

    Sammanfattning : 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. LÄS MER

  3. 12. Design and Implementation of Embedded Video Surveillance Hardware

    Författare :Fredrik Kristensen; Institutionen för elektro- och informationsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Elektronik och elektroteknik; Electronics and Electrical technology; image features; tracking; labeling; morphology; real-time operations; Hardware design; Image processing; Imaging; image processing; Bildbehandling; Signal processing; Signalbehandling;

    Sammanfattning : The demands on video surveillance systems are rapidly increasing regarding parameters such as frame rate and resolution. Furthermore, with an ever increasing number of video streams, an automated process for extracting relevant information is required. LÄS MER

  4. 13. Three Specialized Computer Architectures for Functional Program Execution

    Författare :Jonas Vasell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer architectures; G-machine; programming languages; program compilation techniques; VLSI implementation; performance; array architecture;

    Sammanfattning : Functional programming languages offer a new programming paradigm with many advantages over the more conventional imperative or procedural programming languages. However, these new languages are not as well adapted to the existing computers as the conventional languages, which results in low performance. LÄS MER

  5. 14. Hardware Architecture for Protocol Processing

    Författare :Tomas Henriksson; Axel Jantsch; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Protocol processing is increasingly important. Through the years the hardware architectures for network equipment have evolved constantly. It is important to make a difference between terminals and routers and the different processing tasks they encounter. It is also important to analyze in detail the functional coverage of a hardware architecture. LÄS MER

  7. 15. Adaptable Hardware Transactional Memory Protocols

    Författare :Anurag Negi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; multicore; transactional memory; parallel programming;

    Sammanfattning : Transactional Memory (TM) is an important programming paradigm that can help alleviate difficulties associated with concurrent programming. Single-threaded performance can no longer be expected to scale as it did in the past. Programmers, therefore, must seriously consider concurrent algorithms as viable alternatives. LÄS MER