Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing.
Venkatram VishwanathLenore D. ZuckJason LeighPublished in: MEMOCODE (2008)
Keyphrases
- high performance computing
- scientific computing
- computing environments
- formal methods
- computational science
- massively parallel
- computing infrastructure
- fault tolerance
- parallel computing
- distributed systems
- fault tolerant
- wide area network
- national laboratory
- computing systems
- grid computing
- model checking
- computing resources
- energy efficiency
- computer architecture
- distributed computing
- distributed environment
- multi agent
- storage systems
- mobile agents
- query processing
- parallel machines
- database
- file system
- computer networks
- peer to peer
- multi agent systems