On the Complexity of Checking Transactional Consistency.

Ranadeep Biswas Constantin Enea

Published in: CoRR (2019)

Keyphrases

consistency checking
evolutionary algorithm
worst case
neural network
real world
machine learning
social networks
video sequences
computational complexity
fault tolerant
space complexity