Sökning: "Source Sets"
Visar resultat 1 - 5 av 119 avhandlingar innehållade orden Source Sets.
1. Effective Techniques for Stateless Model Checking
Sammanfattning : 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. LÄS MER
2. A Universal Source Coding Perspective on PPM
Sammanfattning : 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. LÄS MER
3. Incremental Clustering of Source Code : a Machine Learning Approach
Sammanfattning : 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. LÄS MER
4. Programming and Optimization of Big-Data Applications on Heterogeneous Computing Systems
Sammanfattning : 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. LÄS MER
5. Source analysis of multiplet earthquakes (two case studies in Iran)
Sammanfattning : 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. LÄS MER