Caches with compositional performance

DOI10.1007/3-540-45874-3_14MaRDI QIDQ4471695zbMATH OpenFDO

Authors Henk L. Muller, David May, Dan Page, James Irwin

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2268/22680242.htm

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Computing methodologies and applications (68U99)

Recommendations

• The compositional approach to sequential consistency and lazy caching
• Theorems about composition
• Reasoning about composition using property transformers and their conjugates
• An approach to composition motivated by \textit{wp}
• A framework for performance-aware composition of explicitly parallel components

Cited in

(3)

• Formula Caching in DPLL
• Cache-Friendly implementations of transitive closure
• scientific article; zbMATH DE number 5661194 (Why is no real title available?)

This page was built for publication: Caches with compositional performance

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