Modeling and Verifying Google File System.

Bo Li Mengdi Wang Yongxin Zhao Geguang Pu Huibiao Zhu Fu Song

Published in: HASE (2015)

Keyphrases

file system
search engine
access patterns
naming conventions
search tools
data transfer
metadata management
web pages
application specific
flash memory
storage devices
storage systems
continuous media
query processing
model checking