Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers

Real-Time and Embedded Technology and Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016, Track 3: Embedded Systems Design for Real-Time Applications. Vienna, Austria.

Bibliographic Details
Main Author: Li, Yonghui (author)
Other Authors: Åkesson, Benny (author), Goossens, Kees (author)
Format: conferenceObject
Language:eng
Published: 2017
Subjects:
Real-time systems
Automata theory
DRAM chips
Multiprocessing systems
Processor scheduling
Online Access:http://hdl.handle.net/10400.22/9500
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9500

Internet

http://hdl.handle.net/10400.22/9500

Similar Items