Modular verification of linearizability with non-fixed linearization points.

Hongjin Liang Xinyu Feng

Published in: PLDI (2013)

Keyphrases

point sets
single point
feature points
expert systems
real time
endpoints
model checking
data sets
high dimensional
data points
video sequences
keypoints
learning algorithm
real world
fixed number
face verification
database
highly flexible
asynchronous circuits