Browsing LCS Publications by Title
Now showing items 118-137 of 1163
-
'C: A Language for High-Level, Efficient, and Machine-independant Dynamic Code Generation
Dynamic code generation allows specialized code sequences to be crafted using runtime information. Since this information is by definition not available statically, the use of dynamic code generation can achieve performance ... -
Cache Coherence Protocols for Large-Scale Multiprocessors
(1990-09)Caches have the potential to provide multiprocessors with an automatic mechanism for reducing both network traffic and average memory access latency. However, cache-based systems must address the problem of cache coherence. -
Cache Performance of Garbage-collected Programming Languages
(1993-09)As processor speeds continue to improve relative to main-memory access times, cache performance is becoming an increasingly important component of program performance. -
Calculaid: An On-line System for Algebraic Computation and Analysis
(1965-09)OPS is an on-line system developed by M. Greenberger et al. at Project MAC. The present work provides a powerful and simple way to perform numerical manipulations and calculations within OPS. The program package is called ... -
CALVIN: A Rule Based Expert System for Improving Arrhymia Detector Performance During Noisy ECGS
(1987-09)Human experts far outperform automated arrhythmia detectors in analyzing ECG data corrupted by noise and artifact. Humans make use of considerable a priori knowledge about cardiac electrophysiology and knowledge acquired ... -
CAMAC: Group Manipulation System
(1975-03)CAMAC is a collection of group manipulation progams with an easy to use interface. With groups defined by either generating permutations or generators and relations the system can find coset tables, normalizers, centralizers, ... -
Can Statistical Zero Knowledge be made Non-interactive? or On the Relationship of SZK and NISZK
(1999-09)We extend the study of non-interactive statistical zero-knowledge proofs. Our main focus is to compare the class NISZK of problems possessing such non-interactive proofs to the class SZK of problems possessing interactive ... -
A Canonic Translator
(1967-11)An algorithm to recognize and translate sets of character strings specified by canonic system is presented. The ability of canonic systems to define the context sensitive features of strings and to specify their translation ... -
CARPS, A Program Which Solves Calculus Word Problems
(1968-07)A program was written to solve calculus word problems. The program CARPS (Calculus Rate Problem Solver), is restricted to rate problems. The overall plan of the program is similar to Bobrow's STUDENT, the primary ... -
The Case for SRPT Scheduling in Web Servers
(1998-10) -
Case Study in Interactive Graphics Programming: A Circuit Drawing and Editing Program for Use with A Storage-tube Display Terminal
(1969-10)The concepts involved in building and manipulating a data structure through graphical interaction are presented, using the drawing and editing of electrical circuits as a vehicle. The circuit drawings program was designed ... -
A Case Study of Intermodule Dependencies in a Virtual Memory Subsystem
(1976-12)A problem currently confronting computer scientists is to develop a method for the production of large software systems that are easy to understand and certify. The most promising methods involve decomposing a system into ... -
A Case Study of Shared Memory and Message Passing: The Triangle Puzzle
(1995-01)This thesis is the first controlled case study that compares shared-memory and message-passing implementations of an application that solves the triangle puzzle and runs on actual hardware: only the communication interfaces ... -
The Category of Functors from State Shapes to Bottomless CPOs in Adequate for Block Structure
(1993-01)We present a programming language EoA, which embodies what Reynolds has described as the ``essence of ALGOL.'' In particular, EoA allows higher-order procedures and the declaration of block structured local variables. -
A CATV-Based High-speed Packet-switching Network Design
(1986-04)A high-speed packet-switching data network to the home can be built on an existing, unmodified, residential cable television (CATV) system. This thesis considers the theoretical and practical technical aspects of providing ... -
Causal Representation of Patient Illness for Electrolyte and Acid-base Diagnosis
(1981-10)Much of the medical knowledge in the first generation Al in Medicine programs is phenomenological; that is, it describes the associations among phenomena without knowledge of the underlying causal mechanisms. Although ...