Sökning: "memory hierarchy"

Visar resultat 21 - 25 av 30 avhandlingar innehållade orden memory hierarchy.

  1. 21. 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

  3. 22. 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

  4. 23. 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

  5. 24. 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

  7. 25. Exile Warriors : Violence and Community among Hutu Rebels in the eastern Congo

    Författare :Anna Hedlund; Socialantropologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Democratic Republic of Congo; Eastern Congo; Rwanda; violence; war; rebel camp; genocide; community; Hutu; identity; structural violence; political violence; rebels; soldier; civilian; refugees; exclusion; victim; perpetrator; Goma; Bukavu; armed groups; post-genocide; conflict; anthropology;

    Sammanfattning : This dissertation is an anthropological study of war and violence in the volatile eastern territories of the Democratic Republic of Congo. The ethnographic focus is on one of the largest rebel groups currently operating in the Congo conflicts, the Hutu-dominated Democratic Forces for the Liberation of Rwanda (FDLR). LÄS MER