Browsing LCS Technical Memos (1974 - 2003) by Title
Now showing items 210-229 of 492
-
Hybrid I/O Automata
(1995-12)We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transition system models of ... -
I/O Automata: A Model for Discrete Event Systems
(1988-03) -
The Impact of Communication Locality on Large-scale Multiprocessor Performance
(1992-02)As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to increase performance becomes inevitable. ... -
The Impact of Communication Locality on Large-scale Multiprocessor Performance
(1992-06)As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to increase performance becomes inevitable. ... -
The Impact of Synchronous Communication on. The Problem of Electing a Leader in a Ring
(1984-04)We consider the problem of electing a leader in a synchronous ring of n processors. We obtain both positive and negative results. One the one hand, we show that if processor ID's are chosen from some countable set, then ... -
Impediments to Universal Preference-based Default Theories
(1989-10)Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may uniformly be viewed as ... -
Implementing Internet Remost Logic on a Personal Computer
(1982-12)This thesis demonstrates that a desktop personal computer can support an efficient internet remote login implementation with the same protocols used by large mainframes. It describes a project in which the Telnet remote ... -
Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
(1995-06)A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is presented and proved correct. This algorithm ... -
The Implication Problem for Functional and Inclusion Dependencies
(1983-02)There are two implication problems for functional dependencies and inclusion dependencies: general implication and finite implication. Given a set of dependencies ∑∪{σ}, the problems are to determine whether σ holds in all ... -
Improved Bounds on the Costs of Optimal and Balanced Binary Search Trees
(1975-11)A binary search tree can be used to store data in a computer system for retrieval by name. Different elements in the tree may be referenced with different probabilities. If we define the cost of the tree as the average ... -
An Improved Overlap Argument for On-line Multiplication
(1974-01)A lower bound of cN1ogN is proved for the mean time complexity of an on-line multitape Turing machine performing the multiplication of N-digit binary integers. For a more general class of machines the corresponding bound ... -
An Improved Proof of the Rabin-Harmanis-Stearns Conjecture
(1979-01)We offer an improved presentation of Aanderaa's constructive proof of the Rabin-Hartmanis-Stearns conjecture: For all k≥2, there exists a language Lk such that Lk can be recoginzed by a k-worktape real time Turing machine ... -
Improvements of Yao's Results on Parity Circuits
(1985-09) -
Improving Information Storage Reliability Using a Data Network
(1976-10)Backup and recovery methods using magnetic tapes are common in computer utilities, since information stored on-line is subject to damage. The serial access nature of the tape medium severely restricts the flexibility and ... -
Indolent Closure Creation
(1998-06)A closure is a representation of a thread in memory, ready to be executed. The goal of this work is to create portable closures that can be transferred across binary incompatible architectures. Consequently, indolent ... -
Inferring Decision Trees Using the Minimum Description Length Principle
(1987-09)We explore the use of Rissanen's Minimum Description Length Principle for the construction of decision trees. Empirical results comparing this approach to other methods are given. -
An Information Theoretic Approach for Shared Bottleneck Inference Based on End-to-end Measurements
(2000-03)Recent years have marked a growing interest in studying Internet path characteristics. However, most of the currently available tools to an end system to perform such measurements are slow inaccurate and generate an excessive ... -
Integrating Message-passing and Shared-memory: Early Experience
(1992-10)This paper discusses some of the issues involved in implementing a shared-address space programming model on large-scale, distributed-memory multiprocessors. Because message-passing mechanisms are much more efficient than ... -
The Integration of the Organization Engine and Library 2000
(1992-05)In the contemporary research environment, users access and manipulate information gathered from diverse data sources. The organization Engine is a prototype being developed at the Cambridge Research Lab of Digital Equipment ...