Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135024116> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2135024116 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. This is one strong argument for focusing on making model checking faster. Another interesting aim is to make model checking so fast that it can be used for predicting scheduling decisions for real-time schedulers at runtime. This of course requires the model checking to complete within a order of milliseconds or even microseconds. The aim is set very high but the results of this thesis will at least give a hint on whether this seems possible or not. The magic card for (maybe) making this possible is called Graphics Processing Unit (GPU). This thesis will investigate if and how a model checking algorithm can be ported and executed on a GPU. Modern GPU architectures offers a high degree of processing power since they are equipped with up to 1000 (NVIDIA GTX 590) or 3000 (NVIDIA Tesla K10) processor cores. The drawback is that they offer poor thread-communication possibilities and memory caches compared to CPU. This makes it very difficult to port CPU programs to GPUs.The example model (system) used in this thesis represents a real-time task scheduler that can schedule up to three periodic self-suspending tasks. The aim is to verify, i.e., find a feasible schedule for these tasks, and do it as fast as possible with the help of the GPU." @default.
- W2135024116 created "2016-06-24" @default.
- W2135024116 creator A5018567528 @default.
- W2135024116 creator A5080417965 @default.
- W2135024116 date "2012-01-01" @default.
- W2135024116 modified "2023-09-27" @default.
- W2135024116 title "GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks" @default.
- W2135024116 cites W1514680377 @default.
- W2135024116 cites W1531146854 @default.
- W2135024116 cites W1813719546 @default.
- W2135024116 cites W1968564621 @default.
- W2135024116 cites W1989721383 @default.
- W2135024116 cites W2036081705 @default.
- W2135024116 cites W2101508170 @default.
- W2135024116 cites W2106370631 @default.
- W2135024116 cites W2109178034 @default.
- W2135024116 cites W2117189826 @default.
- W2135024116 cites W2140250192 @default.
- W2135024116 cites W2143303748 @default.
- W2135024116 cites W2156839836 @default.
- W2135024116 cites W2158306493 @default.
- W2135024116 cites W2160883697 @default.
- W2135024116 cites W2169946898 @default.
- W2135024116 cites W2262960161 @default.
- W2135024116 hasPublicationYear "2012" @default.
- W2135024116 type Work @default.
- W2135024116 sameAs 2135024116 @default.
- W2135024116 citedByCount "0" @default.
- W2135024116 crossrefType "journal-article" @default.
- W2135024116 hasAuthorship W2135024116A5018567528 @default.
- W2135024116 hasAuthorship W2135024116A5080417965 @default.
- W2135024116 hasConcept C106251023 @default.
- W2135024116 hasConcept C110251889 @default.
- W2135024116 hasConcept C138101251 @default.
- W2135024116 hasConcept C162324750 @default.
- W2135024116 hasConcept C173608175 @default.
- W2135024116 hasConcept C199360897 @default.
- W2135024116 hasConcept C206729178 @default.
- W2135024116 hasConcept C21547014 @default.
- W2135024116 hasConcept C2777904410 @default.
- W2135024116 hasConcept C41008148 @default.
- W2135024116 hasConceptScore W2135024116C106251023 @default.
- W2135024116 hasConceptScore W2135024116C110251889 @default.
- W2135024116 hasConceptScore W2135024116C138101251 @default.
- W2135024116 hasConceptScore W2135024116C162324750 @default.
- W2135024116 hasConceptScore W2135024116C173608175 @default.
- W2135024116 hasConceptScore W2135024116C199360897 @default.
- W2135024116 hasConceptScore W2135024116C206729178 @default.
- W2135024116 hasConceptScore W2135024116C21547014 @default.
- W2135024116 hasConceptScore W2135024116C2777904410 @default.
- W2135024116 hasConceptScore W2135024116C41008148 @default.
- W2135024116 hasLocation W21350241161 @default.
- W2135024116 hasOpenAccess W2135024116 @default.
- W2135024116 hasPrimaryLocation W21350241161 @default.
- W2135024116 hasRelatedWork W1559535747 @default.
- W2135024116 hasRelatedWork W1897254069 @default.
- W2135024116 hasRelatedWork W2023999916 @default.
- W2135024116 hasRelatedWork W2054056443 @default.
- W2135024116 hasRelatedWork W2073616138 @default.
- W2135024116 hasRelatedWork W2101512691 @default.
- W2135024116 hasRelatedWork W2117088535 @default.
- W2135024116 hasRelatedWork W2134616937 @default.
- W2135024116 hasRelatedWork W2153808006 @default.
- W2135024116 hasRelatedWork W2270969877 @default.
- W2135024116 hasRelatedWork W2571426820 @default.
- W2135024116 hasRelatedWork W2918317383 @default.
- W2135024116 hasRelatedWork W2938306536 @default.
- W2135024116 hasRelatedWork W2953864002 @default.
- W2135024116 hasRelatedWork W3006491016 @default.
- W2135024116 hasRelatedWork W3028001473 @default.
- W2135024116 hasRelatedWork W34238932 @default.
- W2135024116 hasRelatedWork W413050070 @default.
- W2135024116 hasRelatedWork W2161993152 @default.
- W2135024116 hasRelatedWork W2184195795 @default.
- W2135024116 isParatext "false" @default.
- W2135024116 isRetracted "false" @default.
- W2135024116 magId "2135024116" @default.
- W2135024116 workType "article" @default.