Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets

DOI10.1007/3-540-36612-1_9MaRDI QIDQ4707645zbMATH OpenOpenAlexFDO

Authors Xiaobo Fan, Carla S. Ellis, Alvin R. Lebeck

Publication date 11 June 2003

Published in Power-Aware Computer Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-36612-1_9

zbMATH Keywords

Control PolicyDRAMMemory ControllerModelingPetri Nets

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computer system organization (68M99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Using probabilistic model checking for dynamic power management
• A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
• scientific article; zbMATH DE number 1956596
• scientific article; zbMATH DE number 1131474
• scientific article; zbMATH DE number 4057072

Cited in

(1)

• Using probabilistic model checking for dynamic power management

This page was built for publication: Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707645)