A formal framework to design and prove trustworthy memory controllers.
Felipe Lisboa MalaquiasMihail AsavoaeFlorian BrandnerPublished in: Real Time Syst. (2023)
Keyphrases
- conceptual framework
- computational framework
- theoretical framework
- design principles
- main contribution
- formal model
- power dissipation
- information systems
- controller design
- architectural design
- design methodology
- design decisions
- embedded systems
- power consumption
- design process
- probabilistic model
- lower bound
- reinforcement learning
- case study
- e learning