Abortable Linearizable Modules.

Rachid Guerraoui Viktor Kuncak Giuliano Losa

Published in: Arch. Formal Proofs (2012)

Keyphrases

modular structure
databases
information retrieval
social networks
functional modules
modular architecture
database
genetic algorithm
search engine
data streams
digital libraries
building blocks
software systems