”To Store or Not To Store” Reloaded: Reclaiming Memory on Demand
- 1 January 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- UppDMC: A Distributed Model Checker for Fragments of the μ-CalculusElectronic Notes in Theoretical Computer Science, 2005
- Time-Efficient Model Checking with Magnetic DiskLecture Notes in Computer Science, 2005
- Automatized Verification of Ad Hoc Routing ProtocolsLecture Notes in Computer Science, 2004
- To Store or Not to StoreLecture Notes in Computer Science, 2003
- Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPINInternational Journal on Software Tools for Technology Transfer, 2000
- Counterexample-Guided Abstraction RefinementLecture Notes in Computer Science, 2000
- Using magnetic disk instead of main memory in the Mur ϕ verifierPublished by Springer Science and Business Media LLC ,1998
- Parallelizing the Murϕ verifierLecture Notes in Computer Science, 1997
- A universal algorithm for sequential data compressionIEEE Transactions on Information Theory, 1977
- Space/time trade-offs in hash coding with allowable errorsCommunications of the ACM, 1970