From the Standards to Silicon: Formally Proved Memory Controllers.

Felipe Lisboa Malaquias Mihail Asavoae Florian Brandner

Published in: NFM (2023)

Keyphrases

control system
high density
reinforcement learning
high speed
widely accepted
web services
low cost
memory requirements
control strategy
database
databases
controller design
memory size
low memory
computing power
evolutionary robotics