Search for dissertations about: "instruction set"

Showing result 21 - 25 of 48 swedish dissertations containing the words instruction set.

  2. 21. Dynamically Reconfigurable Resource Array

    Author : Muhammad Ali Shami; Ahmed Hemani; S.K Nandy; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; DRRA; CGRA; FPGA; VLSI; ASIC; Embedded systems; Coarse grain reconfigurable architecture; reconfigurable computing;

    Abstract : The goals set by the International Technology Roadmap for Semiconductors (ITRS) for the consumer portable category, to be realized by 2020, are 1000X improvement in performance with only 40\% increase in power budget and no increase in design team size. To meet these goals, the challenges facing the VLSI community are gaps in architecture efficacy, design productivity and battery capacity. READ MORE

  4. 22. Memory modeling and synthesis for real-time video processing systems

    Author : Benny Thörnberg; Mattias O´Nils; Bengt Oelmann; Erwin de Kock; Mittuniversitetet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; memory modeling; Electrical engineering; electronics and photonics; Elektroteknik; elektronik och fotonik;

    Abstract : In this thesis, a new design methodology and new tools for modeling and synthesis of real-time video processing systems are presented. A real-time video processing system is a system that performs computations on a continuous sequence of images. Image processing is a memory intensive application. READ MORE

  5. 23. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

    Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

    Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

  6. 24. Model Checking of Software Systems under Weak Memory Models

    Author : Tuan-Phong Ngo; Mohamed Faouzi Atig; Parosh Aziz Abdulla; Philipp Rümmer; Viktor Vafeiadis; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model checking; Concurrent program; Weak memory model; Computer Science; Datavetenskap;

    Abstract : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. READ MORE

  7. 25. Programmed or Not : A study about programming teachers’ beliefs and intentions in relation to curriculum

    Author : Lennart Rolandsson; Inga-Britt Skogh; Sirkku Männikkö Barbutiu; Erik Barendsen; KTH; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; computing; programming education; teachers’ beliefs; intentionality; curriculum development; curriculum studies; upper secondary school; Teknikvetenskapens lärande och kommunikation; Education and Communication in the Technological Sciences;

    Abstract : In the intersection of technology, curriculum and intentions, a specific issue of interest is found in the gap between teachers’ intentions and implementations of curriculum. Instead of approaching curriculum and technology as something fait accompli, teachers are considered crucial in the re-discovery of what and how to teach. READ MORE