Advanced search
Showing result 1 - 5 of 57 swedish dissertations matching the above criteria.
-
1. Rift Valley fever : challenges and new insights for prevention and control using the “One Health” approach
Abstract : Rift Valley fever (RVF) is an emerging viral zoonosis that causes frequent outbreaks in east Africa and on the Arabian Peninsula. The likelihood of RVF global expansion due to climate change and human anthropogenic factors is an important issue. READ MORE
-
2. 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
-
3. Verifying Absence of ∞ Loops in Parameterized Protocols
Abstract : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. READ MORE
-
4. System of Systems Interoperability Machine Learning Model
Abstract : Increasingly flexible and efficient industrial processes and automation systems are developed by integrating computational systems and physical processes, thereby forming large heterogeneous systems of cyber-physical systems. Such systems depend on particular data models and payload formats for communication, and making different entities interoperable is a challenging problem that drives the engineering costs and time to deployment. READ MORE
-
5. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE