Browsing LCS Publications by Title
Now showing items 1042-1061 of 1163
-
A Survey of the Logic of Effective Definitions
(1980-10)LED, the Logic of Effective Definitions, is an extension of first order predicate calculus used for making assertions about programs. Programs are modeled as effective definitional schemes (following Friedman). Logical ... -
A Switch-level Simulation Model for Integrated Logic Circuits
(1981-03)Switch-level simulators model a metal oxide semiconductor (MOS) large scale integrated (LSI) circuits as a network of transistor "switches". They can simulate many aspects of MOS circuits which cannot be expressed in the ... -
Symbolic Integration
(1967-12)SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral ... -
Symmetric Alteration Captures BPP
(1995-11)We introduce the natural class Sp2 containing those languages which may be expressed terms of two symmetric quantifiers. This class lies between ?p2 and ? and naturally generates a "symmetric" hierarchy corresponding to ... -
Symmetric Alternation Captures BPP
(1995-11)We introduce the natural class Sp2 containing those languages which may be expressed in terms of two symmetric quantifiers. This class lies between ? and ? and naturally generates a "symmetric" hierarchy corresponding to ... -
Symmetry Codes and Their Invariant Subcodes
(1974-02)We define and study the invariant subcodes of the symmetry codes in order to be able to determine the algebraic properties of these codes. An infinite family of self-orthogonal rate 1/2 codes over GF (3), called symmetry ... -
Synchornizing Clocks in a Distributed System
(1984-08)Keeping the local times of processes in distributed system synchronized in the presence of arbitrary faults is important in many applications and is an interesting theoretical problem in its own right. In order to be ... -
Synchronization Mechanism for Modular Programming Language
(1979-04)Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language ... -
Synchronized MIMD Computing
(1994-05)Fast global synchronization provides simple, efficient solutions to many of the system problems of parallel computing. It achieves this by providing composition of both performance and correctness. If you understand the ... -
Syntax-based Analytic Reading of Musical Scores
(1967-04)As part of a larger research project in musical structure, a program has been written which ""reads"" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. ... -
Synthesis of Efficient Drinking Philosphers Algorithms
(1989-11)A variant of the drinking philosphers algorithm of Chandy and Misra is described and proved correct in a module way, using the I/O automaton model of Lynch and Tuttle. The algorithm of Chandy and Misra is based on an ... -
Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications
(1987-06)This thesis presents an approach for direct and efficient synthesis of self-timed (asynchronous) control circuits from formal specifications called Signal Transition Graphs (STGs). Control circuits synthesized from this ... -
Synthesis of Synchronization Code for Data Abstractions
(1978-07)Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a ... -
System Dependence Graph Construction for Aspect-Oriented Programs
(2003-03)We extend previous dependence-based representations called system dependence graphs (SDGs) to represent aspect-oriented programs and present an SDG construction algorithm. This algorithm first constructs a module dependence ... -
A System for Computer-aided Diagnosis
(1967-09)This thesis describes a model diagnostic problem and a computer program designed to deal with this problem. The model diagnostic problem is an abstract problem. A major contention of this thesis, however, is that this ... -
System Requirements for Multiple -Access, Time-shared Computers
(1964-05)It is now clear that it is possible to create a general-purpose time-shared multiple access system on most contemporary computers. However, it is equally clear that none of the existent computers are well designed for ... -
A System to Process Dialogue: A Progress Report
(1976-10)This is a progress report on work toward and English language interface for expert systems. A framework for handling mixed-initiative English dialogue in a console session environment is discussed, with special emphasis ... -
Systematic Testing of Multithreaded Programs
(2000-05)We present a practical testing algorithm called ExitBlock that systematically and deterministically finds program errors resulting from unintended timing dependencies. ExitBlock executes a program or a portion of a program ...
