GPU-based Runtime Verification.
Shay BerkovichBorzoo BonakdarpourSebastian FischmeisterPublished in: IPDPS (2013)
Keyphrases
- model checking
- collision detection
- parallel implementation
- concurrent systems
- times faster
- graphics hardware
- asynchronous circuits
- database
- face verification
- limited memory
- databases
- formal verification
- data sets
- hidden markov models
- computer graphics
- search algorithm
- data structure
- parallel computation
- test generation