Sökning: "Program Models"
Visar resultat 1 - 5 av 348 avhandlingar innehållade orden Program Models.
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
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
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
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
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