Browsing LCS Publications by Title
Now showing items 606-625 of 1163
-
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 ... -
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 ... -
Low-cost Support for Fine-grain Synchronization in Multiprocessors
(1992-06)As multiprocessors scale beyond the limits of a few tens of processors, they must look beyond traditional methods of synchronization to minimize serialization and achieve the high degrees of parallelism required to utilize ... -
Lower Bounds on Information Transfer in Distributed Computations
(1978-04)We derive a lower bound on the interprocessor information transfer required for computing a function in a distributed network. The bound is expressed in terms of the function's derivatives, and we use it to exhibit functions ... -
LSB Manual
(1981-06)LSB (for Layered System Building) is an integrated set of facilities for aiding in the construction of highly-modular, multi-layered, implementation-independent Lisp systems. It provides for conditional inclusion of source ... -
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. ... -
The Macaims Data Management System
(1971-04)MacAIMS (MAC Advanced Interactive Management System) is a relatively small research project that was initiated in the summer of 1968 to investigate the feasibility of using some of the then existing computer facilities at ... -
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 ... -
A Machine Architecture to Support an Object-Oriented Language
(1979-03)In object-oriented languages (e.g., LISP, Simula, and CLU), all (or most) data objects used by a program are implicitly allocated from a free-storage area and are accessed via fixed-size references. The storage for an ...
