Modelling and evaluation of program behavior with overlapping localities

MaRDI QIDQ1155953zbMATH OpenFDO

Authors Ya. A. Kogan

Publication date 1980

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

page fault frequencyworking set size

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: Modelling and evaluation of program behavior with overlapping localities

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