OpenMP 4.5 Validation and Verification Suite for Device Offload.
Jose Monsalve DiazSwaroop PophaleOscar R. HernandezDavid E. BernholdtSunita ChandrasekaranPublished in: IWOMP (2018)
Keyphrases
- model checking
- tcp ip
- formal verification
- database systems
- parallel programming
- high performance computing
- shared memory
- face verification
- functional verification
- asynchronous circuits
- information systems
- massively parallel
- computing systems
- formal analysis
- low cost
- artificial intelligence
- multi core processors
- real time
- concurrent systems
- portable devices
- database