Digital Commons Network^™

Semi-Automatic Process Decomposition For Non-Shared Memory Machines, Charles Koelbel, Piyush Mehrotra

Department of Computer Science Technical Reports

No abstract provided.

A Formalism For Describing Data Distribution, Charles Koelbel

Department of Computer Science Technical Reports

No abstract provided.

Time-Varying Images: The Effect Of Finite Resolution On Uniqueness, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

A User Guide To The Algorithm Mapper: A System For Modeling And Evaluating Parallel Applications/Architecture Pairs, C. E. Houstis, Elias N. Houstis, John R. Rice, S. M. Samartizis, D.L. Alexandrakis

Department of Computer Science Technical Reports

No abstract provided.

Planar Graph Decomposition And All Pairs Shortest Paths, Greg N. Frederickson

Department of Computer Science Technical Reports

No abstract provided.

The Role Of Term Symmetry In E-Unification And E-Completion, Blayne E. Mayfield, Ralph W. Wilkerson

Computer Science Technical Reports

A major portion of the work and time involved in completing an incomplete set of reductions using an E-completion procedure such as the one described by Knuth and Bendix [070] or its extension to associative-commutative equational theories as described by Peterson and Stickel [PS81] is spent calculating critical pairs and subsequently testing them for coherence. A pruning technique which removes from consideration those critical pairs that represent redundant or superfluous information, either before, during, or after their calculation, can therefore make a marked difference in the run time and efficiency of an E-completion procedure to which it is applied.

The …

Computer Use In The Warren County Riii School District: A Proposal For The Implementation Of A Computer Lab Program In The Elementary School, Debbie Reese

Theses

A problem faced by many schools in the 1980s is how to approach computer ir1struction in the elementary grades. Schools have moved into a new technological realm with the advent of the modern microcomputer. The focus of this project was to investigate current trends in computer education in the elementary grades in respect to computer placement within the schools and content of computer education programs. The paper addresses, specifically, the lack of a computer program in the Warren County RIII School District and the rationale for developing a computer lab in the elementary school. An interim plan is also proposed, …

Dc-Free Coset Codes, Robert H. Deng, M. A. Herro

Research Collection School Of Computing and Information Systems

An upper bound on the bit-error probability (BEP) of a linear cyclic code over GF(2l) with hard-decision (HD) maximum-likelihood (ML) decoding on memoryless symmetric channels is derived. Performance results are presented for Reed-Solomon codes on GF(32), GF(64), and GF(128). Also, a union upper bound on the BEP of a linear cyclic code with either hard- or soft-decision ML decoding is developed, as well as the corresponding bounds for the extended code of a linear cyclic code. Using these bounds, which are tight at low bit error rate, the performance advantage of soft-decision (SD) ML and HD ML over bounded-distance (BD) …

Atamm Multicomputer System Design, William Robert Tymchyshyn

Electrical & Computer Engineering Theses & Dissertations

The Algorithm To Architecture Mapping Model, or ATAMM, is a graph theoretic design methodology that has been created to resolve design and performance issues involved with concurrent processing. Petri-net marked graphs are used to represent the computational environment.

This thesis describes the development of a multicomputer system which will operate within the bounds specified by the ATAMM model. The system is first designed and implemented using the framework of standard multicomputer design theory. A validation is then performed by the comparison of the system's computational performance to results predicted by ATAMM. This validation is shown to be successful for three …

A Generic Algorithm For Transaction Processing During Network Partitioning, Bharat Bhargava, Shirley Browne

Department of Computer Science Technical Reports

No abstract provided.

Engineering The Object-Relation Database Model In O-Raid, Bharat Bhargava, Prasun Dewan, Stephen Leung

Department of Computer Science Technical Reports

No abstract provided.

Topological Numbering Of Features On A Mesh (Cc-88-18), Mikhail J. Atallah, Susanne E. Hambrusch, Lynn E. Tewinkel

Department of Computer Science Technical Reports

No abstract provided.

Estimating Lower Bounds On Buffer Sizes For A Packet Switch, Douglas E. Comer, Rajendra Yavatkar

Department of Computer Science Technical Reports

No abstract provided.

Using The Bat: A Six Dimensional Mouse For Object Placement, Colin Ware, Danny R. Jessome

Center for Coastal and Ocean Mapping

Placement in space is inherently six dimensional. An object can be translated in x, y and z cartesian coordinates, and it can be rotated about three axes to change its orientation. A six dimensional sensor I\I(/S conj/gured as a one button six dimensional mouse (which we call a bat) and interfaced with an IRIS workstation thus creating an environment for investigating the problems of object placement. A sojiware workbench was built which allows the manipulation of hierarchical scenes displayed on a monitor. The features of the workbench are described together with experiences using the bat in a variety of interaction …

Interface Structures I: Abstract Structures For Computing About Physical Objects, Chandrajit Bajaj, Dayne Dyksen, Christoph M. Hoffmann, Elias N. Houstis, John T. Korb

Department of Computer Science Technical Reports

No abstract provided.

Automated Circuit Diagnosis Using First Order Logic Tools, Barbara Smith, Ralph W. Wilkerson, Gerald E. Peterson, Mcdonnell Douglas

Computer Science Faculty Research & Creative Works

While Numerous Diagnostic Expert Systems Have Been Successfully Developed in Recent Years, They Are Almost Uniformly based on Heuristic Reasoning Techniques (I.e., Shallow Knowledge) in the Form of Rules. This Paper Reports on an Automated Circuit Diagnostic Tool based on Reiter's Theory of Diagnosis. in Particular, this is a Theory of Diagnosis based on Deep Knowledge (I.e., Knowledge based on Certain Design Information) and using First Order Logic as the Representation Language. the Inference Mechanism Which is Incorporated as Part of the Diagnostic Tool is a Refutation based Theorem Prover using Rewriting Systems for Boolean Algebra Developed by Hsiang. Consequently, …

Machine Learning: A Critique Of Research Efforts And Suggested Research Strategy, William S. Davis, David B. Murrell

Department of Computer Science Technical Reports

No abstract provided.

Robust Replication Control Using Primary Copy Method, Niraj K. Sharma

Department of Computer Science Technical Reports

No abstract provided.

The Problem Of Accuracy And Robustness In Geometric Computation, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

Applying Algebraic Geometry To Surface Intersection Evaluation, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

Locating Distributed Information, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Service Execution In A Distributed Environment (Thesis), Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Computer Control Of A Pbx Washout Plant, Scott Cameron Sharp, Chung You Ho

Computer Science Technical Reports

A fully automated, computer controlled plant has been designed specifically for safe removal of plastic bonded explosives (PBX) from obsolete military munitions. This PBX washout plant consists of a two stage delivery system and robotically operated high pressure waterjet lance. The assigned task was to develop control packages for each component.

The first stage of the delivery system is a battery operated overhead trolley. Its control package consist of a dedicated computer, DC motor and custom positioning subprograms. The dedicated computer communicates through an infrared link to the operator's computer. This link was developed due to requirements of a hazardous …

Shadow Pattern Simulator, Roberto A. Brown

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

This paper describes an interactive computer program that can be used as a design tool in assessing the shading effects of trees in relation to buildings. The program determines the area and position of the shadow cast by a tree or group of trees on a surface of a building which can have any orientation. The program outputs numerical and graphical hourly results at any time of the day, for any day of the year, at any location on the earth, for any relative positioning between the tree and building, and estimates percent irradiation reductions on building surfaces resulting from …

Model Generation And Modification For Dynamic Systems From Geometric Data, Christoph M. Hoffmann, John E. Hopcroft

Department of Computer Science Technical Reports

No abstract provided.

Supporting Objects In A Conventional Operating System, Prasun Dewan

Department of Computer Science Technical Reports

No abstract provided.

An Approach To Support Automatic Generation Of User Interfaces, Prasun Dewan, Marvin Solomon

Department of Computer Science Technical Reports

No abstract provided.

Integrating Editing In A Monolingual Environment, Prasun Dewan

Department of Computer Science Technical Reports

No abstract provided.

An Optimal Parallel Algorithm For The Visibility Of A Simple Polygon From A Point, Mikhail J. Atallah, Danny Z. Chen, Hubert Wagner

Department of Computer Science Technical Reports

No abstract provided.

Towards Implementing Robust Visual Motion Computations: Generate And Test Approach, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.