Learn More
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up(More)
The trade-oo between protocol structure and protocol performance is usually treated as a balancing act, with improvements on one side coming at the expense of the other side. The goal of this thesis is to eliminate the structure/performance trade-oo with a combination of structuring and compilation techniques. The structuring techniques are based on(More)
We describe a framework for composing end-to-end protocol functions. The framework comprises: a generic model of protocol processing that maps onto various implementation ar-chitectures; a metaheader protocol supporting per-packet connguration of protocol function; and an extendible set of modular protocol functions. This paper describes the pieces of the(More)
The trade-oo between protocol structure and protocol performance is usually treated as a balancing act, with improvements on one side coming at the expense of the other side. The project described in this paper treats the structure/ performance trade-oo as an obstacle and eliminates it with a combination of structuring and compilation techniques. The(More)
  • 1