DSGEN: concolic testing GPU implementations of concurrent dynamic data structures.

Xiaofan Sun Rajiv Gupta

Published in: ICS (2021)

Keyphrases

data structure
real time
data mining
genetic algorithm
dynamic environments
parallel processing
efficient implementation
graphics processors
database
information systems
database systems
mobile robot
parallel algorithm
parallel implementation
data structures and algorithms
insertions and deletions