Browsing LCS Publications by Title
Now showing items 472-491 of 1163
-
Game Tree Searching by Min/Max Approximation
(1986-09) -
A General Framework for Highly Available Services based on Group Communication
(2000-11)We present a general framework for building highly available services. The framework uses group communication to coordinate a collection of servers. Our framework is configurable, in that one can adjust parameters such as ... -
A Generalized Approach to Equational Unification
(1985-08)Given a set of equational axioms and two terms containing function symbols and variables, the equational unification problem is to find a uniform replacement of terms for the variables that makes the terms provably equal ... -
Generalized Organization of Large Data Bases: A Set-theoretic Approach to Relations
(1970-06)Problems inherent in representation and manipulation of large data bases are discussed. Data management is considered as the manipulation of relationships among elements of a data base. A detailed analogy introduces ... -
Generalized Planar Matching
(1985-04)In this paper, we prove that maximum planar H-matching (the problem of determining the maximum number of node-disjointed copies of the fixed graph H contained in a variable planar graph G) is NP-complete for any connected ... -
The Generalized Railroad Crossing: A Case Study in Formali Verification of Real-time Systems
(1994-11)A new solution to the Generalized Railroad Crossing problem, based on timed automata, invariants and simulation mappings, is presented and evaluated. The solution shows formally the correspondence between four system ... -
Generic Software for Emulating Multiporocessor Architectures
(1985-05)The expense of designing, prototyping, and testing a new computer architecture (particularly non-traditional supercomputer architectures, such as the dataflow machine) is enormous. The relative inflexibility of hardware ... -
The Graph Display as an Aid in the Monitoring of a Time-shared Computer System
(1968-10)The problem of dynamic observation of the state of a time-shared computer system is investigated. The Graphical Display Monitoring System was developed as a medium for this experimental work. It is an integrated system ... -
A Graph Model for Parallel Computations
(1969-09)This report presents a computational model called program graphs which makes possible a precise description of parallel computations of arbitrary complexity on non-structured data. In the model, the computation steps ... -
Group Communication Specifications: A Comprehensive Study
(1999-09)View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented Group ... -
Guaranteeds Partial Key-escrow
(1995-08) -
Hardware Estimatino of a Process' Primary Memory Requirements
(1977-01)It is shown that a process' primary memory requirements can be approximated by use of the miss rate in the Honeywell 6180's page table word associative memory. This primary memory requirement estimate was employed by an ... -
Hardware Mechanisms for Memory Integrity Checking
(2002-11)Memory integrity verification is a useful primitive when implementing secure processors that are resistant to attacks on hardware components. This paper proposes new hardware schemes to verify the integrity of untrusted ... -
Helping People Think
(1971-04)Everyone, today, is familiar with the use of machines to ease physical burdens. Since the dawn of civilization, man's progress in gaining control over his environment has been largely determined by the power and sophistication ... -
A Heuristic Approach to Alternate Routing in a Job Shop
(1965-06)The research reported here investigates the use of heuristics for selecting from several alternate routes resulting from partially ordered tasks in a job shop order file. The experimental vehicle employed was digital ... -
Hierarchical Compilation of Macro Dataflow Graphs for Multiprocessors with Local Memory
(1992-10)This paper presents a hierarchical approach for compiling macro dataflow graphs for multiprocessors with local memory. Macro dataflow graphs comprise several nodes (or macros operations) that must be executed subject to ... -
Hierarchical Compilation of Macro Dataflow Graphs for Multiprocessors with Local Memory
(1992-12)This paper presents a hierarchical approach for compiling macro dataflow graphs for multiprocessors with local memory. Macro dataflow graphs comprise several nodes (or macros operations) that must be executed subject to ...