Digital Commons Network^™

An Exact Analysis For Efficient Computation Of Random-Pattern Testability In Combinational Circuits, Sharad C. Seth, Bhargab B. Bhattacharya, Vishwani Agrawal

School of Computing: Conference and Workshop Papers

Experimental evidence shows that low testability in a typical circuit is much more likely due to poor observability than poor controllability. Thus, from theoretical and practical standpoints, it is important to develop an accurate model for observability computation. One such model, in terms of supergates, is proposed in the first part of this paper thus complimenting our earlier work. It is now possible to obtain exact random-pattern testability for each line in a circuit.

The second part of the paper analyzes the supegate structure of a circuit from a graph theoretic viewpoint. Finding a supergate is related to determining the …

Modelling Dynamic Entities In Relational Database Systems, Dominic Carmen Soda

Masters Theses

No abstract provided.

Specification And Efficiency Evaluation Of A Data Communications Protocol, Patricia Ann Anderson

Masters Theses

"A data communications protocol for an established operating environment is formally specified. Motivation for the development of this protocol is presented, with consideration for the future communications requirements of the system.

Factors influencing the performance of a protocol are reviewed. Error recovery, network addressing, flow control, traffic prioritization, and initialization and termination sequences are examined in general and with respect to the protocol development.

In conclusion, a mathematical evaluation of the efficiency of the protocol is provided, using Tanenbaum's equations for determining channel utilization. The theoretical channel utilization of a perfect system, without propagation delay or error, is compared with …

A Computerized Audio-Visual Speech Model, Joaquin Alberto Vila Ruiz

Masters Theses

"This thesis describes an expert system able to animate (graphically) and reproduce (acoustically) a text in any language which uses the Latin alphabet. A rule editor has been developed to create and modify the set of letter-to-sound rules of the target language. A parser has been implemented to apply the set of rules and translate text-to-speech. Each phoneme has a unique sound and thus requires its particular positioning of the vocal organs which are displayed in two different projections: a front view and a profile cross view of a human face in synchronization with the output sounds of the speech …

Structure Of A Rigid Smooth Space Curve, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

Generation Of Configuration Space Obstacles I: The Case Of A Moving Sphere, Chanderjit Bajaj, Myung-Soo Kim

Department of Computer Science Technical Reports

No abstract provided.

Site Recovery In Replicated Distributed Database Systems, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.

Efficient Plane Sweeping In Parallel, Mikhail J. Atallah, Michael T. Goodrich

Department of Computer Science Technical Reports

No abstract provided.

Fast Detection And Display Of Symmetry In Trees, Joseph Manning, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

Industrial Simulation With Animation, Edward T. Hammerand, Chung You Ho

Computer Science Technical Reports

This thesis examines and evaluates the new simulation language PCModel. Prior to the arrival of PCModel, simulation via computer typically resulted in pages of statistics compiled over the duration of the simulation. PCModel's approach is to simulate the model on the display before the user in real time. Additionally, user interaction is supported to allow changes to be made throughout the simulation run.

The evaluation of PCModel is accomplished through inspection of a pair of examples already simulated in a conventional simulation language. The examples show the relative strong and weak points of the language, as well as demonstrating how …

Research Note: Getting Graphic: Computer Graphics In Biochemistry, Wilmon B. Chipman

Bridgewater Review

No abstract provided.

Optimal Simulations Between Mesh-Connected Arrays Of Processors, S. Rao Kosaraju, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

A Generalized Information Structure To Be Used In A Human-Factors Knowledge Base, Bruce J. Wachlin

Theses and Dissertations

The purpose of this thesis is to design a generalized information structure that can be used in a human-factors knowledge base. The information structure will take into account the human factors requirements and the hardware characteristics of the system. In this thesis the design and implementation of several prototype systems of a generalized information structure to be used in a human-factors knowledge base are presented.

A Queueing Model For Token-Passing Computer Networks, Vernon J. Rego, Lionel M. Ni

Department of Computer Science Technical Reports

No abstract provided.

Cycle-Time Distributions And Stability Of Adaptive Token-Passing Bus Networks, Vernon J. Rego, Herman D. Hughes

Department of Computer Science Technical Reports

No abstract provided.

Stability Problems In Local Area Networks: A Qualitative Approach, Wojciech Szpankowski, Dan Marinsecu, Vernon J. Rego

Department of Computer Science Technical Reports

No abstract provided.

On A Recurrence Equation Arising In The Analysis Of Conflict Resolution Algorithms, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Performance Evaluation Of Interval-Searching Conflict Resolution Algorithms, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

The Design And Implementation Of A High-Speed Incremental Portable Prolog Compiler, Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew Turk

Electrical Engineering and Computer Science - Technical Reports

The design and implementation of a relatively portable Prolog compiler achieving 12K LIPS on the standard benchmark is described. The compiler is incremental and uses decompilation to implement retract, clause, and listing, as well as support the needs of its four-port debugger. The system supports modules, garbage collection, database pointers, and a full range of built-ins.

Statistics On Logic Simulation, K. F. Wong, Mark A. Franklin, Roger D. Chamberlain, B. L. Shing

All Computer Science and Engineering Research

The high costs associated with logic simulation of large VLSI based systems have led to the need for new computer architectures tailored to the simulation task. Such architecture have the potential for significant speedups over standard software based logic simulators. Several commercial simulation engines have been produced to satisfy need in this area. To properly explore the space of alternative simulation architectures, data is required on the simulation process itself. This paper presents a framework for such data gathering activity by first examining possible sources of speedup in the logic simulation task, examining the sort of data needed in the …

Overloading Of Names In Distributed Systems, Douglas E. Comer, Ralph E. Droms

Department of Computer Science Technical Reports

No abstract provided.

A Communication Sub-System For Mvs/Xa, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.

An Analysis Of A Contention Resolution Algorithm --- Another Approach, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Bounds For Queue Lengths In A Contention Packet Broadcast System, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Solution Of A Linear Recurrence Equation Arising In Analysis Of Some Algorithms, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Retrospective Data Filter, Richard J. Prengaman, Robert E. Thurber, Joe Phipps, Ronald I. Greenberg, Wai L. Hom, James F. Jaworski, Guy W. Riffle

Computer Science: Faculty Publications and Other Works

In a target detection communication system, apparatus and method for determining the presence of probable targets based on contacts (which can indicate the presence of a target, noise, chatter, or objects not of interest) detected within a predefined position sector or sectors over a specified number of scans. The position of each detected contact, as a contact of interest, is compared with the positions of contacts detected at previous times or scans. Velocity profiles indicate which previous contacts support the likelihood that the contact of interest represents a target having a velocity within a defined band. The likelihood, which can …

Structure And Motion Of A Rigid Object Having Unknown Constant Motion, Chia-Hoang Lee, Azriel Rosenfeld

Department of Computer Science Technical Reports

No abstract provided.

The Myriad Virtues Of Subword Trees, Alberto Apostolico

Department of Computer Science Technical Reports

No abstract provided.

Data Structures And Algorithms For The String Statistics Problem, A. Apostolico, F. P. Preparata

Department of Computer Science Technical Reports

No abstract provided.

Structural Properties Of The String Statistics Problem, A. Apostolico, F. P. Preparata

Department of Computer Science Technical Reports

No abstract provided.