Verification of a Distributed Cache Memory by Using Abstractions.
Susanne GrafPublished in: CAV (1994)
Keyphrases
- main memory
- distributed systems
- distributed environment
- high level
- data access
- memory usage
- cache conscious
- memory hierarchy
- model checking
- mobile agents
- memory access
- multi agent
- computing power
- communication cost
- memory requirements
- query processing
- cooperative
- back end
- data transfer
- computing environments
- random access
- memory space
- resource consumption
- memory management
- garbage collection