Sökning: "Program Models"
Visar resultat 1 - 5 av 408 avhandlingar innehållade orden Program Models.
1. Pharmacometric Models to Improve Treatment of Tuberculosis
Sammanfattning : 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. LÄS MER
2. Automatic Extraction of Program Models for Formal Software Verification
Sammanfattning : 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. LÄS MER
3. Bringing predictability into a geometallurgical program : An iron ore case study
Sammanfattning : 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. LÄS MER
4. Converting CAD Drawings to Product Models
Sammanfattning : 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. LÄS MER
5. Caches, Transactions and Memories : Models, Coherence and Consistency
Sammanfattning : 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. LÄS MER