Sökning: "per Måhl"

Hittade 1 uppsats innehållade orden per Måhl.

  1. 1. GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks

    Kandidat-uppsats, Akademin för innovation, design och teknik

    Författare :Tim Liberg; Per-Erik Måhl; [2012]
    Nyckelord :GPU; Model Checking; Verification; CUDA; STS; Tree search; GPGPU; Periodic Self-Suspending Tasks; Real-Time; Scheduling; Timed automata;

    Sammanfattning : Efficient model checking is important in order to make this type of software verification useful for systems that are complex in their structure. If a system is too large or complex then model checking does not simply scale, i.e., it could take too much time to verify the system. LÄS MER