Avancerad sökning
Hittade 2 uppsatser som matchar ovanstående sökkriterier.
1. Executive Summaries in Software Model Checking
Master-uppsats, KTH/Teoretisk datalogi, TCSSammanfattning : Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in the model. It is a well-developed technique, but it suffers from some issues, perhaps most importantly the state space explosion problem. LÄS MER
2. Investigating how Distributed Computation Pruning performs on the Generalized Linear Preference model
Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)Sammanfattning : Finding all shortest paths in a distributed dynamic network has many practical applications, but it is perhaps most important in network routing. To this end a number of algorithms and techniques have been developed. LÄS MER