Search for dissertations about: "Program Models"
Showing result 1 - 5 of 384 swedish dissertations containing the words Program Models.
-
1. Pharmacometric Models to Improve Treatment of Tuberculosis
Abstract : Tuberculosis (TB) is the world’s most deadly infectious disease and causes enormous public health problems. The comorbidity with HIV and the rise of multidrug-resistant TB strains impede successful therapy through drug-drug interactions and the lack of efficient second-line treatments. READ MORE
-
2. Automatic Extraction of Program Models for Formal Software Verification
Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE
-
3. Bringing predictability into a geometallurgical program : An iron ore case study
Abstract : The risks of starting, operating and closing mining projects have become higher than ever. In order to stay ahead of the competition, mining companies have to manage various risks: technical, environmental, legal, regulatory, political, cyber, financial and social. Some of these can be mitigated with the help of geometallurgy. READ MORE
-
4. Converting CAD Drawings to Product Models
Abstract : The fundamental aim of this study is to examine whether itis possible to automatically convert vector-based drawings toproduct models. The reason fordoing this is that the newobject-based systems cannot make use of the information storedin CAD drawings, which limits the usability of thesesystems. READ MORE
-
5. Caches, Transactions and Memories : Models, Coherence and Consistency
Abstract : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. READ MORE