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.
Towards a spatial model checker on GPU
Ciancia V;
2021
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_454725-doc_175399.pdf
accesso aperto
Descrizione: Preprint - Towards a spatial model checker on GPU
Tipologia:
Versione Editoriale (PDF)
Dimensione
304.15 kB
Formato
Adobe PDF
|
304.15 kB | Adobe PDF | Visualizza/Apri |
|
prod_454725-doc_175439.pdf
solo utenti autorizzati
Descrizione: Towards a spatial model checker on GPU
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.49 MB
Formato
Adobe PDF
|
2.49 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
