Linear Time Memory Consistency Verification.

Weiwu Hu Yunji Chen Tianshi Chen Cheng Qian Lei Li

Published in: IEEE Trans. Computers (2012)

Keyphrases

model checking
memory usage
memory space
face verification
maintaining consistency
case based reasoning
person identification
memory requirements
worst case
computing power
formal analysis
operating system
past experience
signature verification
path consistency
asynchronous circuits
information systems