Tackling the RPC-Memory Specification Problem with I/O Automata.
Judi RomijnPublished in: Formal Systems Specification (1994)
Keyphrases
- main memory
- secondary storage
- internal memory
- input output
- external memory
- virtual memory
- cellular automata
- memory size
- garbage collection
- cache conscious
- memory requirements
- finite automata
- data transfer
- random access
- database workloads
- memory usage
- regular expressions
- data structure
- specification language
- memory space
- storage devices
- formal languages
- database
- computing power
- storage systems
- tree automata
- finite state
- formal specification
- conceptual model
- operating system
- high level