Essays about: "Periodic Self-Suspending Tasks"
Found 1 essay containing the words Periodic Self-Suspending Tasks.
-
1. GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks
University essay from Akademin för innovation, design och teknikAbstract : 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
Result pages:
1