COATCheck: Verifying Memory Ordering at the Hardware-OS Interface.
Daniel LustigGeet SethiMargaret MartonosiAbhishek BhattacharjeePublished in: ASPLOS (2016)
Keyphrases
- windows xp
- operating system
- computing power
- memory management
- parallel hardware
- virtual memory
- virtual machine
- real time
- gigabit ethernet
- low cost
- hardware and software
- computer systems
- internal memory
- memory usage
- computational power
- user interface
- limited memory
- open source
- windows nt
- processor core
- database manager
- image processing
- partial order
- memory requirements
- memory access
- database systems
- database
- hardware design
- vlsi implementation
- memory size
- model checking
- interface design
- hardware implementation
- personal computer
- user friendly