Essays about: "Periodic Self-Suspending Tasks"

Found 1 essay containing the words Periodic Self-Suspending Tasks.

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

    University essay from Akademin för innovation, design och teknik

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

    Abstract : 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. READ MORE