Sökning: "Datorteknik"
Visar resultat 16 - 20 av 432 avhandlingar innehållade ordet Datorteknik.
16. Cache memory design trade-offs for current and emerging workloads
Sammanfattning : The memory system is the key to performance in contemporary computer systems. When designing a new memory system, architectural decisions are often arbitrated based on their expected performance effect. It is therefore very important to make performance estimates based on workloads that accurately reflect the future use of the system. LÄS MER
17. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms
Sammanfattning : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. LÄS MER
18. Efficient implementation of model-checkers for networks of timed automata
Sammanfattning : Since real-time systems often operate in safety-critical environments it is extremely important that they function correctly. UPPAAL is a tool that can be used for validation and verification of real-time systems. LÄS MER
19. Measurement and simulation based techniques for real-time systems analysis
Sammanfattning : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses. Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. LÄS MER
20. A flexible framework for detection of feature interactions in telecommunication systems
Sammanfattning : The complexity of today's telecommunications systems grows with each new feature introduced. As the number of services an operator provides can be used to gain advantage over competitors the number of services will continue to increase. LÄS MER
