Author:
de la Houssaye Jordan,Pommereau Franck,Deniel Philippe
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Belady, L.A.: A study of replacement algorithms for a virtual-storage computer. IBM Syst. J. 5, 78–101 (1966)
2. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems.
ArXiv:1301.2678
[cs.MA] (2013)
3. Chen, Z., Zhang, Y., Zhou, Y., Scott, H., Schiefer, B.: Empirical evaluation of multi-level buffer cache collaboration for storage systems. In: SIGMETRICS 2005. ACM (2005)
4. Denning, P.J.: The working set model for program behavior. Commun. ACM 11, 323–333 (1968)
5. Fronc, Ł.: Effective marking equivalence checking in systems with dynamic process creation. In: INFINITY 2012. ENTCS, Elsevier (2012)