Letter to Ruth Merritt 11/10/1818

Handwritten letter from Timothy Merritt to sister (?) Ruth Merritt regarding her loss of religious conviction. Dated Nov. 10, 1818.

The Ministry of Evil" An Examination of the Popular Bitter-Sweet Theology

Sermon by William Fairfield Warren.

Christian missions ; their agents, and their results / by T.W.M. Marshall.

http://www.archive.org/details/a592254601marsuoft

Christian missions : their agents and their results (vol. 1) / by T.W.M. Marshall.

http://books.google.com/books?vid=ISBN0665456816&id=sipohllLjKQC&dq=protestant+missions&a_sbrr=1 View book via Google

Christian missions : their agents and their results (vol. 2) / by T.W.M. Marshall.

http://books.google.com/books?vid=ISBN0665456816&id=sipohllLjKQC&dq=protestant+missions&a_sbrr=1 View book via Google

Lightweight Formal Methods for the Development of High-Assurance Networking Systems

We survey several of the research efforts pursued by the iBench and snBench projects in the CS Department at Boston University over the last half dozen years. These activities use ideas and methodologies inspired by recent developments in other parts of computer science -- particularly in formal methods and in the foundations of programming languages -- but now specifically applied to the certification of safety-critical networking systems. This is research jointly led by Azer Bestavros and Assaf Kfoury with the participation of Adam Bradley, Andrei Lapets, and Michael Ocean.

The Cyclone Server Architecture: Streamlining Delivery of Popular Content

We propose a new technique for efficiently delivering popular content from information repositories with bounded file caches. Our strategy relies on the use of fast erasure codes (a.k.a. forward error correcting codes) to generate encodings of popular files, of which only a small sliding window is cached at any time instant, even to satisfy an unbounded number of asynchronous requests for the file. Our approach capitalizes on concurrency to maximize sharing of state across different request threads while minimizing cache memory utilization. Additional reduction in resource requirements arises from providing for a lightweight version of the network stack. In this paper, we describe the design and implementation of our Cyclone server as a Linux kernel subsystem.