We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
In this paper, we introduce new analog devices that emulate natural chemical systems, called the reaction-diffusion (RD) system. The RD system gives us a lot of clues and insights...
Obtaining good performance from a distributed replicated database that allows update transactions to originate at any site while ensuring one-copy serializability is a challenge. ...
Abstract Barrier synchronizations can be very expensive on multiprogramming environment because no process can go past a barrier until all the processes have arrived. If a process ...
This paper suggests that a distributed system should support two communication paradigms: Remote Procedure Call (RPC) and group commumcation. The former is used for point-to-point...
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verst...