Sökning: "Memory Hierarchy"

Visar resultat 21 - 25 av 31 avhandlingar innehållade orden Memory Hierarchy.

  1. 21. Ease-of-Use in Public Transportation : A User Perspective on Information and Orientation Aspects

    Författare :Katrin Dziekan; Lars-Göran Mattsson; Brian D. Taylor; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; public transportation; user perspective; psychology; public transportation planning; evaluation; newcomers in a city; Civil engineering and architecture; Samhällsbyggnadsteknik och arkitektur;

    Sammanfattning : This interdisciplinary thesis combines psychological and transportation planning knowledge. Three main questions are investigated: 1) What concepts and ideas do people have with regard to a public transportation system (cognitive user perspective)?; 2) What orientation and information factors within the public transportation system enhance Ease-of-Use and make it simpler and more efficient to use public transportation in metropolitan areas?; 3) How can Ease-of-Use of a public transportation route be measured? A combination of qualitative and quantitative methods was used. LÄS MER

  3. 22. Towards a Functional Programming Language for Baseband Signal Processing

    Författare :Anders Persson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; signal processing; domain specific languages; functional programming; code generation;

    Sammanfattning : Developing software for resource constrained embedded systems is a daunting task. In addition to getting the functionality right, a programmer must consider several non-functional properties, including data layout, the target memory hierarchy, concurrency and parallelism. LÄS MER

  4. 23. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

    Författare :Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; matematisk logik; Mathematical Logic;

    Sammanfattning : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. LÄS MER

  5. 24. Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems

    Författare :Per Andersson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; kontroll; Systems engineering; numerisk analys; system; control; Datalogi; numerical analysis; systems; Data Flow Graphs; Data Flow Modlling; computer technology; Data- och systemvetenskap; Computer science; Hardware Compilation; Synthesis;

    Sammanfattning : Digital systems are integrated in our environment and have become a natural part of our every day life. As we rely more on these systems our expectations on them increases. We expect them to perform new tasks, communicate and cooperate. The complexity of these systems are increasing. LÄS MER

  7. 25. High-Level Synthesis for SiLago : Advances in Optimization of High-Level Synthesis Tool and Neural Network Algorithms

    Författare :Yu Yang; Ahmed Hemani; Zhonghai Lu; Madhura Purnaprajna; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronic Design Automation EDA ; Computer Aided Design CAD ; Algorithm-level Synthesis; SiLago; Optimization Techniques; Neural Network; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Embedded hardware designs and their automation improve energy and engineering efficiency. However, these two goals are often contradictory. The attempts to improve energy efficiency often come at the cost of engineering efficiency and vice-versa. High-level synthesis (HLS) is a good example of this challenge. LÄS MER