Verifying Read-Copy Update Under RC11.

Mikhail Semenyuk Mark Batty Brijesh Dongol

Published in: SEFM (2023)

Keyphrases

update transactions
data mining
information systems
decision making
real time
clustering algorithm
three dimensional
data structure
mobile robot
floating point
update operations