Learn More
Testing large-scale distributed systems is a challenge, because some errors manifest themselves only after a distributed sequence of events that involves machine and network failures. D 3 S is a checker that allows developers to specify predicates on distributed properties of a deployed system, and that checks these predicates while the system is running.(More)
We introduce the design and implementation of a peer-to-peer text retrieval and search prototype system called P-Terse in this paper. Compared with existing P2P systems, P-Terse has three novel features: 1) The text content of the shared documents is searchable, which is a natural yet useful extension to file name matching based search provided by existing(More)
  • 1