Browsing LCS Technical Reports (1974 - 2003) by Title
Now showing items 649-668 of 671
-
Use of CTSS in a Teaching Environment
(1964-11)Computer time-sharing offers many interesting possibilities for use in teaching computer technology. It might be expected that with proper hardware and software, students using time-sharing as a teaching machine could ... -
The Use of Distinctive Features for Automatic Speech Recognition
(1991-09)One of the most critical and yet unsolved problems in phonetic recognition is the transformation of the continuous speech signal to a discrete representation for accessing words in the lexicon. In order to find an efficient ... -
Using Cycles and Scaling in Parallel Algorithms
(1989-08)We introduce the technique of decomposing an undirected graph by finding a maximal set of edge-disjoint cycles. We give a parallel algorithm to find this decomposition in O(log n) time on (m+ n)/log n processors. We ... -
Using Interactive Graphics in Simulating the Hospital Emergency Room
(1974-05)The hospital emergency room is a complex system having many interrelated factors contributing to its operation. The emergency room administrator has limited control over certain of these factors: numbers of beds, nurses, ... -
Using Specifications to Check Source Code
(1994-06) -
Using Type Extension to Organize Virtual Memory Mechanisms
(1976-09)Much effort is currently being devoted to producing systems that are easy to understand, to verify and to develop. The general methodology for designing such a system consists of decomposing it into a structured set of ... -
Using Untypes Lambda Calculus to Computer with Atoms
(1984-02)Axioms and verification rules are given for typeless A -calculus with a conditional test for equality between atoms. A semantic completeness theorem is proved and a deterministic evaluator is proposed. -
VAL- A Value-oriented Algorithmic Language: Preliminary Reference Manual
(1979-06)The programming language VAL (Value-Oriented Algorithmic Language) is designed for expressing algorithms for execution on computers capable of highly concurrent operation. More specifically, the application area to be ... -
Verbal and Graphical Language for the AED System: A Progress Report
(1964-05)For Computer-Aided Design, use of time-sharing a single language which can take either verbal or graphical form is required. This paper describes how a single language processing technique, which is in turn a special ... -
Verification of Programs Operating on Structured Data
(1974-03)The major method for verifying the correctness of computer program is the inductive assertion approach. This approach has been limited in the past by the lack of techniques for handling data structures. In particular, ... -
The Vidboard:A Video Capture and Processing Peripheral for the ViewStation System
(1992-09)With the growth of multimedia applications, video is increasingly being handled within the computing environment. Since video presents serious technological challenges to the current generation of personal computers and ... -
Video Coding and the Application Level Framing Protocol Architecture
(1992-06)As networks and computers become faster, real time video transmission is expected to become common. Variable bit rate video coders will be used in order to take advantage of the statistical multiplexing gain and bandwidth ... -
Video Games and Computer Aided Instruction
(1983-06)This document will briefly outline the evolution of video games, discuss current video game theory, and describe a program to teach typing on the IBM Personal Computer. -
View-based abstraction: Enhancing Maintainability and Modularity in the presence of Implementation Dependencies
(1997-09)This dissertation presents a new, backwards compatible, language independent, and incremental programming methodology called view-based abstraction. Unlike the well-known black-box abstraction approach, view-based abstraction ... -
Viewstamped Replication for Highly Available Distributed Systems
(1988-08)This dissertation presents viewstamped replication, a new algorithm for the implementation of highly available computer services that continue to be usable in spite of node crashes and network partitions. Our goal is to ... -
Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulation
(1993-11)Existing FPGA-based logic emulators are limited by inter-chip communication bandwidth, resulting in low gate utilization (10 to 20 percent of usable gates). This resource imbalance increases the number of chips needed to ... -
Waiting Algorithms for Synchornization in Large-scale Multiprocessors
(1991-02)Through analysis and experiments, this paper investigates two-phase waiting algorithms to minimize the cost of waiting for synchronization in large-scale multiprocessors. In a two-phase algorithm, a thread first waits by ... -
Walter User's Manual (Version 1.0)
(1987-09)Walter is a UNIX program that provides access to databases located at MIT via the DARPA Internet. The databases provided by Walter include the full-text of the New York Times for the past 90 days. A sophisticated full-text ...