Browsing LCS Publications by Title
Now showing items 546-565 of 1163
-
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 ... -
Induction in Proofs about Programs
(1972-02)Four methods for proving equivalence of programs by induction are described and compared. They are recursion induction, structural induction, mu-rule induction, and truncation induction. McCarthy's formalism for conditional ... -
Inference of Generic Types in Java
(2003-03)Future versions of Java will include support for parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practise makes heavy use of pseudo-generic ... -
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. -
Information Processing and Transmission in Cellular Automata
(1971-01)A cellular automaton is an iterative array of very simple identical information processing machines called cells. Each cell can communicate with neighboring cells. At discrete moments of time the cells can change from ... -
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 ... -
An Information-Theoretic Approach to Interest Making
(2001-05)The Internet has brought a new meaning to the term communities. Geography is no longer a barrier to international communications. However, the paradigm of meeting new interesting people remains entrenched in traditional ... -
An Information-theoretical Approach to Studying Phoneme Collocational Constrainst
(1991-07)This thesis describe a lexical study of phoneme collocational constraints using a metric motivated by information theory. Phonologists have been describing the permissible combination of phonemes in the form of phonotactic ... -
An Input/Output Architecture for Virtual Memory Computer Systems
(1974-01)In many large systems today, input/output is not performed directly by the user, but is done interpretively by the system for him, which causes additional overhead and also restricts the user to whatever algorithms the ... -
Input/Output in Time-shared, Segmented, Multiprocessor Systems
(1966-06)After introducing and defining the concepts of time-sharing, segmentation, and multiprocessing, two classes of systems incorporating these are introduced. Both classes use associative memories, as 'look behind' devices ... -
Integral Convex Polyhedra and an Approach to Integralization
(1970-08)Many combinatorial optimization problems may be formulated as integer linear programming problems - that is, problems of the form: given a convex polyhedron P contained in the non-negative orthant of n-dimensional space, ... -
An Integrated Approach to Formatted Document Production
(1981-02)Recent advances in printing technology have reduced the cost of typeset quality printers. Unfortunately, the production of attractively formatted documents requires typographic skill and special training on computer-based ... -
An Integrated Congestion Management Architecture for Internet Hosts
(1999-02)This paper presents a novel framework for managing network congestion from an end-to-end perspective. Our work is motivated by several trends in traffic patterns that threaten the long-term stability of the Internet. These ... -
An Integrated Hardware-software Systems for Computer Graphics in Time-sharing
(1968-12)This report describes the ESL Display Console and its associated user-oriented software systems developed by the M.I.T. Computer-Aided Design Project with Project MAC. Console facilities include hardware projection of ... -
Integrated Shared-Memory and Message-Passing Communication in the Alewife Multiprocessor
(1998-01)To date, MIMD multiprocessors have been divided into two classes based on hardware communication models: those supporting shared memory and those supporting message passing. Breaking with tradition, this thesis argues that ... -
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 ...