Browsing LCS Technical Reports (1974 - 2003) by Title
Now showing items 354-373 of 671
-
Lambda Calculus Models of Programming Languages
(1968-12)Two aspects of programming languages, recursive definitions and type declarations are analyzed in detail. Church's -calculus is used as a model of a programming language for purposes of the analysis. The main result on ... -
A Layered Virtual Memory Manager
(1977-05)This thesis presents a specification for the Multics virtual memory manager. The virtual memory manager is that part of the operating system which coordinates the usage of physical memory and which manages the bindings ... -
Layouts for the Shuffle-exchange Graph and Lower Bound Techniques for VLSI
(1982-08)The thesis is divided into two parts. In the first part, we describe and analyze several new VLSI layouts for the shuffle-exchange graph. These include:1) an asymptotically optimal, (N /log N)-area layout for the ... -
Lazy Replication: Exploiting the Semantics of Distributed Services
(1990-07)To provide high availability for services such as mail or bulletin boards, data must be replicated. One way to guarantee consistency of replicated data is to force service operations to occur in the same order at all ... -
Liveness in Timed and Untimed Systems
(1993-12)When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness conditions. The Input /Output (I/)0 automaton model and its timed version have used successfully, ... -
The Logic of Systems
(1976-12)We present a theory about the logical relationships associated with system behavior. The rules governing the behavior of a system are expressed by a Petri net. A set of assumptions about the modeling of a system permit ... -
Logic Simulation of a Multiprocessor
(1986-10)The performance of circuit simulators running on SISD computers is fundamentally limited by the Von Neumann bottleneck. Multiprocessors do not share this limitation. The task of solving the equations for the many parallel ... -
Logical Disk: A Simple New Approach to Improving File System Performance
(1993-04)Making a file system efficient usually requires extensive modifications. For example, making a file system log-structured requires the introduction of new data structures that are tightly coupled with the general file ... -
Logical Structure for Functional Languages
(1986-02)Functional Programming is frequently advocated as an appropriate programming discipline for parallel processing because of the difficulty of extracting parallelism from programs written in conventional sequential programming ... -
Logics of Programs: Axiomatics and Descriptive Power
(1978-05)This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful ... -
Long Atomic Computations
(1986-10)Distributed computing systems are becoming commonplace and offer interesting opportunities for new applications. In a practical system, the problems of synchronizing concurrent computations and recovering from failures ... -
Lottery and Stride Scheduling: Flexible Proportional-share Resource Management
(1995-09)This thesis presents flexible abstractions for specifying resource management policies, together with efficient mechanisms for implementing those abstractions. Several novel scheduling techniques are introduced, including ... -
A Low-cost Output Terminal for Time-shared Computers
(1967-03)This report describes a low-cost remote terminal to provide switch-form output from a time-shared digital computer. The terminal consists of a modified model 35 KSR teletype and a local memory unit. The unit is independent ... -
The MAC System: A Progress Report
(1964-10)The notion of machine-aided cognition implies an intimate collaboration between a human user and a computer in a real-time dialogue on the solution of a problem, in which the two parties contribute their best capabilities. ... -
MACE: A Multiprocessing Approach to Circuit Extraction
(1986-10)The ever-increasing complexity of VLSI chips threaten to choke out all available computer power unless methods are devised to keep the CAD tasks conveniently sized. A review of the current methods of multiprocessing ...