Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Abstract Data Types (1)
- Application-Oriented Fault Tolerance Paradigm (1)
- Associative-Commutative Unification Speedups (1)
- Asymptotic Complexity (1)
- Automated Circuit Diagnostic Tool (1)
-
- Automated Deduction Systems (1)
- Automatic Testing (1)
- Braille (1)
- Commercial Multicomputer (1)
- Commutative Equality Axioms (1)
- Computer (1)
- Computer Crime (1)
- Computer Networks (1)
- Computer Systems (1)
- Deep Knowledge (1)
- Design (1)
- Distributed Processing (1)
- Error Coverage (1)
- Fault Location (1)
- Fault Tolerant Computing (1)
- Faulty Behaviour (1)
- First Order Logic Tools (1)
- First-Order Logic (1)
- Formal Logic (1)
- General Substitutions (1)
- Handicapped Aids (1)
- Hybrid AC Unification Algorithm (1)
- Implementation (1)
- Inference Mechanisms (1)
- Intel IPSC/2 (1)
Articles 1 - 6 of 6
Full-Text Articles in Entire DC Network
Expectations For Associative-Commutative Unification Speedups In A Multicomputer Environment, Ralph W. Wilkerson, Bruce M. Mcmillin
Expectations For Associative-Commutative Unification Speedups In A Multicomputer Environment, Ralph W. Wilkerson, Bruce M. Mcmillin
Computer Science Faculty Research & Creative Works
An essential element of automated deduction systems is unification algorithms which identify general substitutions and when applied to two expressions, make them identical. However, functions which are associative and commutative, such as the usual addition and multiplication functions, often arise in term rewriting systems, program verification, the theory of abstract data types and logic programming. The introduction to the associative and commutative equality axioms together with standard unification brings with it problems of termination and unreasonably large search spaces. One way around these problems is to remove the troublesome axioms from the system and to employ a unification algorithm which …
Fault Diagnosis Using First Order Logic Tools, Ralph W. Wilkerson, Barbara A. Smith
Fault Diagnosis Using First Order Logic Tools, Ralph W. Wilkerson, Barbara A. Smith
Computer Science Faculty Research & Creative Works
An automated circuit diagnostic tool implementing R. Reiter's theory of diagnosis (1987) based on deep knowledge (i.e. knowledge based on certain design information) and using first-order logic as the representation language is discussed. In this approach, the automated diagnostician uses a description of the system structure and observations describing its performance to determine if any faults are apparent. If there is evidence that the system is faulty, the diagnostician uses the system description and observations to ascertain which component(s) would explain the behavior. In particular, Reiter's method finds all combinations of components which explain this behavior.
Personal Computing For The Visually Impaired, Bruce M. Mcmillin, P. Y. Mcmillin
Personal Computing For The Visually Impaired, Bruce M. Mcmillin, P. Y. Mcmillin
Computer Science Faculty Research & Creative Works
The problem of providing feedback from the computer to a visually impaired user is examined. The use of traditional tactile input and output (Braille) is described. The limitations of voice output are discussed, and difficulties posed by complicated screen formats and screen review are considered.
Safe Computing, Bruce M. Mcmillin, T. L. Casavant
Safe Computing, Bruce M. Mcmillin, T. L. Casavant
Computer Science Faculty Research & Creative Works
So-called worms, viruses, and Trojan horses that attack computer systems are defined. The vehicle that allows these attacks to occur, namely, the open computer internetwork, is examined. The problem of providing protection against attack in an internetwork environment is discussed. The need for professional responsibility on the part of the scientific and engineering community in enforcing strong ethical practices and neither tolerating nor condoning such practices is stressed.
A Definition Optimization Technique Used In A Code Translation Algorithm, David M. Dejean, George Winston Zobrist
A Definition Optimization Technique Used In A Code Translation Algorithm, David M. Dejean, George Winston Zobrist
Computer Science Faculty Research & Creative Works
Data flow analysis is used to optimize variable definitions in a program that translates microprocessor object code to a higher order language. © 1989, ACM. All rights reserved.
Reliable Distributed Sorting Through The Application-Oriented Fault Tolerance Paradigm, Bruce M. Mcmillin, L. M. Ni
Reliable Distributed Sorting Through The Application-Oriented Fault Tolerance Paradigm, Bruce M. Mcmillin, L. M. Ni
Computer Science Faculty Research & Creative Works
The design and implementation of a reliable version of the distributed bitonic sorting algorithm using the application-oriented fault tolerance paradigm on a commercial multicomputer is described. Sorting assertions in general are discussed and the bitonic sort algorithm is introduced. Faulty behavior is discussed and a fault-tolerant parallel bitonic sort developed using this paradigm is presented. The error coverage and the response of the fault-tolerant algorithm to faulty behavior are presented. Both asymptotic complexity and the results of run-time experimental measurements on an Ncube multicomputer are given. The authors demonstrate that the application-oriented fault tolerance paradigm is applicable to problems of …