Efficient Linearizability Checking for Actor-based Systems.

Mohammed S. Al-Mahfoudh Ryan Stutsman Ganesh Gopalakrishnan

Published in: CoRR (2021)

Keyphrases

computationally expensive
expert systems
building blocks
data mining
computationally efficient
management system
computational intelligence
distributed systems
image segmentation
digital libraries
decision making
computer vision
learning algorithm
genetic algorithm
complex systems
database
consistency checking