Towards a Spatial Model Checker on GPU
| العنوان: | Towards a Spatial Model Checker on GPU |
|---|---|
| المؤلفون: | Fabio Gadducci, Vincenzo Ciancia, Laura Bussi |
| المصدر: | Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883 FORTE FORTE 2021-41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 188–196, Online conference, 15-17/06/2021 info:cnr-pdr/source/autori:Bussi L.; Ciancia V.; Gadducci F./congresso_nome:FORTE 2021-41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems/congresso_luogo:Online conference/congresso_data:15-17%2F06%2F2021/anno:2021/pagina_da:188/pagina_a:196/intervallo_pagine:188–196 |
| بيانات النشر: | Springer International Publishing, 2021. |
| سنة النشر: | 2021 |
| مصطلحات موضوعية: | Model checking, 020203 distributed computing, GPU computation, Spatial logics, Computer science, 020207 software engineering, 02 engineering and technology, Parallel computing, Spatial logic, Spatial Logics, Spatial model, Simple (abstract algebra), Scalability, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Segmentation |
| الوصف: | The tool VoxLogicA merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached very high accuracy. We introduce a new, GPU-based version of VoxLogicA and present preliminary results on its implementation, scalability, and applications. |
| ردمك: | 978-3-030-78088-3 |
| DOI: | 10.1007/978-3-030-78089-0_12 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d6d0a08b29c68403e93ef09a55e2416 https://doi.org/10.1007/978-3-030-78089-0_12 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....7d6d0a08b29c68403e93ef09a55e2416 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783030780883 |
|---|---|
| DOI: | 10.1007/978-3-030-78089-0_12 |