Conference Paper/Proceeding/Abstract 30 views
Effective Candidate Invariant Generation Using GPGPUs and Optimisations
Ben Lloyd-Roberts,
Filippos Pantekis 
,
Phillip James ,
Liam O'Reilly ,
Mike Edwards
,
Phillip James ,
Liam O'Reilly ,
Mike Edwards
2024 Twelfth International Symposium on Computing and Networking (CANDAR), Pages: 77 - 86
Swansea University Authors:
Ben Lloyd-Roberts, Filippos Pantekis , Phillip James , Liam O'Reilly , Mike Edwards
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1109/candar64496.2024.00017
Abstract
Effective Candidate Invariant Generation Using GPGPUs and Optimisations
| Published in: | 2024 Twelfth International Symposium on Computing and Networking (CANDAR) |
|---|---|
| ISBN: | 979-8-3315-2837-9 979-8-3315-2836-2 |
| ISSN: | 2379-1888 2379-1896 |
| Published: |
IEEE
2024
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa68671 |
| Keywords: |
Correlation coefficient, Performance evaluation, Runtime, Graphics processing units, Reinforcement learning, Model checking, Rail transportation, Safety, Space exploration, Optimization, formal verification, invariant finding, massively parallel, kernel optimisations |
|---|---|
| College: |
Faculty of Science and Engineering |
| Funders: |
Ben Lloyd-Roberts is funded by the EPSRC Centre for Doctoral Training in Enhancing Human Interactions and Collaborations with Data and Intelligence Driven Systems (EP/S021892/1) and Siemens Mobility UK. |
| Start Page: |
77 |
| End Page: |
86 |