Advanced search

Showing result 1 - 5 of 8 swedish dissertations matching the above criteria.

2. 1. Efficient concurrent data structure access parallelism techniques for increasing scalability

   Author : Adones Rukundo; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; FIFO queue; parallelism; performance modelling; design framework; semantic relaxation; Data structure; multi-access; lock free; performance analysis; counter; concurrency; search tree.; stack; multi-core processor; priority queue;

   Abstract : Multi-core processors have revolutionised the way data structures are designed by bringing parallelism to mainstream computing. Key to exploiting hardware parallelism available in multi-core processors are concurrent data structures. READ MORE

4. 2. 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. 3. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

   Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
   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

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

   Author : Karin Thörnblad; Göteborgs universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; 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; Night shift;

   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

7. 5. Multi-Hop Real-Time Communication over Switched Ethernet Technology

   Author : Mohammad Ashjaei; Thomas Nolte; Moris Behnam; Jean-Luc Scharbarg; Mälardalens högskola; []
   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