A high performance NVMe host logic engine based on dynamically configurable queues and co-design of NVMe and PCIe.
Zhibin ZengChen YuQu HeLou YongchenBai LeiPublished in: IEICE Electron. Express (2024)
Keyphrases
- classical logic
- waiting times
- logic programming
- modal logic
- automated reasoning
- multi valued
- proof theory
- rule engine
- digital circuits
- high reliability
- computational properties
- logical framework
- finite capacity
- air fuel ratio
- service rates
- processor sharing
- web services
- sound and complete axiomatization
- predicate logic
- queue length
- changing environment
- logic programs
- special case
- data structure