Browsing LCS Publications by Title
Now showing items 590-609 of 1163
-
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 Lattice-structured Proof Technique Applied to a Minimum Spanning Tree Algorithm
(1988-06)Higly-optimized concurrent algorithms are often hard to prove correct because they have no natural decomposition into separately provable parts. This paper presents a proof technique for the modular verification of such ... -
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 ... -
Layouts for the Suffle-Exchange Graph Based on the Complex Plane Diagram
(1982-06)The shuffule-exchange graph is one of the best structures known for parallel computation. Among other things, a shuffle-exchange computer can be used to compute discrete. Fourier transforms, multiply matrices, evaluate ... -
Lazy Reference Counting for Transactional Storage Systems
(1997-10)HAC is a novel technique for managing the direct the client cache in a distributed, persistent object storage system. In a companion paper, we showed that it outperforms other techniques across a wide range of cache sizes ... -
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 ... -
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs
(1991-06)Many parallel algorithms are naturally expressed at a fine level of granularity, often finer than MIMD parallel system can exploit efficiently. Most builders of parallel systems have looked to either the programmer or a ... -
Light Traps
(1996-10)In the February 1992 issue of the American Mathematical Monthly, J. E. Connett [1] asked whether it is possible to construct a 'light trap': a reflective-sided container with the property that a beam of light, shone into ... -
Limitless Directories: A Scalable Cache Coherence Scheme
(1991-06)Caches enhance the performance of multiprocessors by reducing network traffic and average memory access latency. However, cache-based systems must address the problem of cache coherence. We propose the LimitLESS directory ... -
Linearizable Counting Networks
(1991-11)The counting problem requires n asynchronous processors to assign themselves successive values. A solution is linearizable if the order of the values assigned reflects the real-time order in which they were requested. ... -
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, ... -
Local Rule Switching Mechanism for Viral Shell Geometry
(1995-06)In a previous paper [Berger et al., PNAS 91 7732,1994] a theory of virus shell formation was proposed in which shell assembly is directed by local interactions of the coat ans scaffolding subunits. This theory requires ... -
Local Rules Modeling of Nucleation-Limited Virus Capsid Assembly
(1998-08)We describe an application of computer modeling to the study of the kinetics of virus capsid (protein shell) assembly. We examine two proposed models of the source of nucleation-limited growth, an observed growth pattern ... -
A Logic Design for the Cell Block of a Data-flow Processor
(1977-12)Recently studies on parallel computation architecture have yielded a new type of computer architecture known as the data-flow processor. As part of the effort in realizing the data-flow processor, a logic design for the ...