scientific article; zbMATH DE number 3592939
From MaRDI portal
Publication:4162450
zbMath0381.68014MaRDI QIDQ4162450
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68Nxx)
Related Items (4)
An analysis of prepaging ⋮ Programming languages for computer system simulation ⋮ Minimization of demand paging for the LRU stack model of program behavior ⋮ An accurate and practical buffer allocation model for the buffer cache based on marginal gains.
This page was built for publication:
