Search for dissertations about: "Source Sets"

Showing result 1 - 5 of 110 swedish dissertations containing the words Source Sets.

2. 1. Effective Techniques for Stateless Model Checking

   Author : Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

   Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE

4. 2. A Universal Source Coding Perspective on PPM

   Author : Jan Åberg; Institutionen för elektro- och informationsteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; coding with side information; multinomial estimation; maximum probability codes; MDL estimation; PPM; hierarchical source coding; universal source coding; text compression; lossless data compression; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

   Abstract : The PPM (Prediction by Partial Matching) family of text compression algorithms has several members that have shown to be very efficient in practice. This thesis treats PPM algorithms from an information-theoretical point of view, based on results and methods from universal source coding theory. READ MORE

5. 3. Incremental Clustering of Source Code : a Machine Learning Approach

   Author : Tobias Olsson; Morgan Ericsson; Sebastian Herold; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Machine Learning; Naive Bayes; Source Code Clustering; Incremental Clustering; Software Architecture; Technical Debt; Computer Science; Datavetenskap;

   Abstract : Technical debt at the architectural level is a severe threat to software development projects. Uncontrolled technical debt that is allowed to accumulate will undoubtedly hinder speedy development and maintenance, introduce bugs and problems in the software product, and may ultimately result in the abandonment of the source code. READ MORE

6. 4. Programming and Optimization of Big-Data Applications on Heterogeneous Computing Systems

   Author : Suejb Memeti; Sabri Pllana; Jesper Andersson; Paweł Czarnul; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Big Data; Heterogeneous Parallel Computing; Software Optimization; Source-to-source Compilation; Data- och informationsvetenskap; Computer and Information Sciences Computer Science; Computer Science; Datavetenskap;

   Abstract : The next-generation sequencing instruments enable biological researchers to generate voluminous amounts of data. In the near future, it is projected that genomics will be the largest source of big-data. A major challenge of big data is the efficient analysis of very large data-sets. READ MORE

7. 5. Source analysis of multiplet earthquakes (two case studies in Iran)

   Author : Samar Amini; Roland Roberts; Björn Lund; Zaher Hossein Shomali; Kuvvet Atakan; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Multiplet earthquakes; slip inversion; Coulomb stress; rupture directivity;

   Abstract : Multiplet earthquakes are large earthquakes of similar magnitude which occur close in time in the same limited geographical area. They are not common but they considerably increase the potential hazard in the area in which they occur. READ MORE