E
E. B. Moss
Publications - 3
Citations - 981
E. B. Moss is an academic researcher. The author has contributed to research in topics: Modular design & Garbage collection. The author has an hindex of 1, co-authored 1 publications receiving 974 citations.
Papers
More filters
Book
Nested Transactions: An Approach to Reliable Distributed Computing
TL;DR: The method for implementing nested transactions is novel in that it uses locking for concurrency control and the necessary algorithms for locking, recovery, distributed commitment, and distributed deadlock detection for a nested transaction system are presented.
Proceedings ArticleDOI
Towards a Model Checking Framework for a New Collector Framework
TL;DR: In this article , the authors propose a model-checking framework for garbage collectors, paralleling the framework nature of the collector, in hope that it will be easy to create new models for new collectors.