A Formal Model of the Processor Memory Interface.
Samuel HoLawrence SnyderPublished in: ICPP (1) (1990)
Keyphrases
- formal model
- memory management
- intel xeon
- windows xp
- gigabit ethernet
- high speed
- memory requirements
- memory hierarchy
- user interface
- random access memory
- processing elements
- memory access
- operating system
- memory subsystem
- formal models
- user friendly
- security properties
- computer architecture
- predicate calculus
- parallel processing
- memory usage
- main memory
- random access
- security patterns
- parallel architecture
- single chip
- processor core
- memory space
- shared memory multiprocessors
- computing power