Search for dissertations about: "fifo"

Showing result 1 - 5 of 7 swedish dissertations containing the word fifo.

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

    University dissertation from Sundsvall : Mittuniversitetet

    Author : Benny Thörnberg; Mattias O´Nils; Bengt Oelmann; Erwin de Kock; ; [2006]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; memory modeling; TECHNOLOGY Electrical engineering; electronics and photonics; TEKNIKVETENSKAP 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

  2. 2. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

    University dissertation from Department of Computer Systems, Uppsala University

    Author : Mats Kindahl; Parosh Aziz Abdulla; [1999]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. READ MORE

  3. 3. Mathematical Optimization in Flexible Job Shop Scheduling: Modelling, Analysis, and Case Studies

    University dissertation from Göteborg : Chalmers University of Technology

    Author : Karin Thörnblad; Göteborgs universitet.; Gothenburg University.; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Flexible job shop scheduling; Mixed integer linear programming MILP ; Time-indexed formulation; Makespan; Tardiness; Fixture availability; Preventive maintenance; Night shift; Unmanned time window; Dynamic scheduling; Priority rules; Dispatching rules; Critical ratio; Priority rules; Mixed integer linear programming MILP ; Unmanned time window; Dispatching rules; Critical ratio; Dynamic scheduling; Tardiness; Makespan; Night shift; Fixture availability; Preventive maintenance; Time-indexed formulation;

    Abstract : The major theme of this thesis is the mathematical optimization modelling of the flexible job shop scheduling problem. This problem is present in the so-called multitask cell—a production cell at GKN Aerospace's facility located in Trollhättan, Sweden—which has served as a case study during the work with this thesis. READ MORE

  4. 4. Multi-Hop Real-Time Communication over Switched Ethernet Technology

    University dissertation from Västerås : Mälardalen University

    Author : Mohammad Ashjaei; Thomas Nolte; Moris Behnam; Jean-Luc Scharbarg; [2014]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Switched Ethernet technology has been introduced to be exploited in real-time communication systems due to its features such as its high throughput and wide availability, hence being a cost-effective solution. Many real-time switched Ethernet protocols have been developed, preserving the profits of traditional Ethernet technology, to overcome the limitations imposed by using commercially available (COTS) switches. READ MORE

  5. 5. Efficient Implementation of Concurrent Data Structures on Multi-core and Many-core Architectures

    University dissertation from Västerås : Mälardalen University

    Author : Bapi Chatterjee; [2015]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Synchronization Primitives; Lock-free Binary search tree; Lock-free; Concurrent Data Structures;

    Abstract : Synchronization of concurrent threads is the central problem in order to design efficient concurrent data-structures. The compute systems widely available in market are increasingly becoming heterogeneous involving multi-core Central Processing Units (CPUs) and many-core Graphics Processing Units (GPUs). READ MORE