Physical Sciences and Mathematics Commons^™

Supporting Value Dependency For Nested Transactions In Interbase, Ahmed K. Elmagarmid, Weimin Du

Department of Computer Science Technical Reports

No abstract provided.

A Virtual Memory Operating System For A Distributed Workstation Environment, James Griffioen

Department of Computer Science Technical Reports

No abstract provided.

Automated Translation Of Digital Logic Equations Into Optimized Vhdl Code, John Evan Stark, George Winston Zobrist

Computer Science Technical Reports

It was desired to develop an algorithm for the automated translation of finite slate machines from state table form to optimized VHDL form. To do this, algorithms arc needed for reducing the state machine to simplest form, making state assignments, producing minimal logic equations to represent the state machine, and producing VHDL code which describes the intended circuit. Various such algorithms were examined and a prototype program written to perform this translation.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, May 1989, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Constructing Trees In Parallel, Mikhail J. Atallah, S. R. Kosaraju, L. L. Larmore, G. L. Miller

Department of Computer Science Technical Reports

No abstract provided.

The Coupon-Collector Problem Revisited, Arnon Boneh, Micha Hofri

Department of Computer Science Technical Reports

No abstract provided.

Mathematical Principles For A 1st Course In Software Engineering, Harlan D. Mills, Victor R. Basili, J. D. Gannon, R. G. Hamlet

The Harlan D. Mills Collection

No abstract provided.

High Rate Concatenated Coding Systems Using Bandwidth Efficient Trellis Inner Codes, Robert H. Deng, D. J. Costello, Jr.

Research Collection School Of Computing and Information Systems

High-rate concatenated coding systems with bandwidth-efficient trellis inner codes and Reed-Solomon (RS) outer codes are investigated for application in high-speed satellite communication systems. Two concatenated coding schemes are proposed. In one the inner code is decoded with soft-decision Viterbi decoding, and the outer RS code performs error-correction-only decoding (decoding without side information). In the other the inner code is decoded with a modified Viterbi algorithm, which produces reliability information along with the decoded output. In this algorithm, path metrics are used to estimate the entire information sequence, whereas branch metrics are used to provide reliability information on the decoded sequence. …

Scientific Computing In The Soviet Union, Seymour E. Goodman, William Mchenry, Peter Wolcott

Information Systems and Quantitative Analysis Faculty Publications

In the last decade, the Soviet Union has placed increased emphasis on the development of high-speed computers and networks for use in scientific, economic, and military applications. When Communist Party General Secretary Mikhail Gorbachev labeled supercomputer development a "top priority task for our science and economy" in April, 1987, he added new urgency to the production of machines that would both support activities in these applications and also serve as high-profile standard-bearers for perestroika, his program of restructuring and modernization for the nation. The Soviets have also undertaken some major projects in networking, including the creation of a nationwide packet-switched …

On Some Convergence Results Of The K-Step Interactive Methods, S. Galanis, A. Hadjidimos

Department of Computer Science Technical Reports

No abstract provided.

Quadric And Cubic Hypersurface Parameterization, Chanderjit Bajaj

Department of Computer Science Technical Reports

No abstract provided.

Optical Flow Estimation By Integrating Feature-Based With Flow-Based Schemes Under Multiresolution, Chia-Hoang Lee, Zhongquan Wu

Department of Computer Science Technical Reports

No abstract provided.

Towards Computable Stability Criteria For Some Multidimensional Stochastic Processes Arising In Queueing Models, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Some Thoughts On Ultimate Stability Condition For G|G|1 Queue, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

An Analysis Of High Dimensional Data, Ravishankar Swamy

Masters Theses

Projection of a high dimensional data set into a two dimensional subspace can lead to very interesting projections. Note that P dimensional data can be projected onto P orthogonal two dimensional planes, which completely determines the original data. Two dimensional orthogonal projections can be analyzed for patterns in several ways.

In this work we will be trying to explore an unknown P dimensional data set by comparing its test projections with a set of standard patterns. A set of P dimensional data is transformed into K.K grid counts and the whole process of recognition is done using these K.K grid …

Efficient Multi-Layer Channel Routing, Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

No abstract provided.

In The Image Of Man: Reflections On Artificial Intelligence, Noreen L. Herzfeld

Theology Faculty Publications

No abstract provided.

Performance Modeling And Enhancement For The Atamm Data Flow Architecture, Sukhamoy Som

Electrical & Computer Engineering Theses & Dissertations

Algorithm To Architecture Mapping Model (ATAMM) is a new marked graph model from which the rules for data and control flow in a homogeneous, multicomputer, data flow architecture may be defined. This research is concerned with performance modeling and performance enhancement for periodic execution of large-grain, decision-free algorithms in such an ATAMM defined architecture. Performance measures and bounds are established. Algorithm transformation techniques are identified for performance enhancement and reduction of computing element requirements. Operating strategies are developed for optimum time performance and for sub-optimum time performance under limited availability of computing elements. An ATAMM simulator is used to test …

Parameter Non-Stationarity In A Model To Estimate The Business Value Of Information Technology, Robert J. Kauffman

Research Collection School Of Computing and Information Systems

Developing robust and refined measures to quantify strategic impacts is a major challenge facing researchers who seek to improve methods for IT investment evaluation. This paper presents a means to test for parameter "non-stationarity" in a model which quantifies the strategic contribution of IT. An iterative "jackknife" procedure is used to diagnose if different local competitive and demographic conditions present in branch banking enhance or suppress leverage on deposit market share associated with membership in an ATM network. Preliminary results suggest this approach will be useful for managers who need to evaluate similar ITs which operate in different environments.

Data Reduction Procedure For An Experimental Method Of Measuring The Velocity-Coupled Response Function Of Solid Propellants, William H. Jarvis

Master's Theses - Daytona Beach

A computer program has been developed for calculation of the velocity-coupled response function of solid-propellants from experimentally measured pressure data. The proposed velocity-coupled response function measurement apparatus consists of an end-burner combustor where the propellant sample is oscillated in a direction normal to the flow in the presence of a standing acoustic wave within the combustion chamber. The pressure measurements are made at select points along the length of the chamber.

The data reduction program consists of a Runge-Kutta routine driven by a BFGS multivariable search routine. The Runge-Kutta routine determines the pressure distribution within the chamber of the proposed …

A Classification Approach For Automated Reasoning Systems--A Case Study In Graph Theory, Rong Lin

Computer Science Theses & Dissertations

Reasoning systems which create classifications of structured objects face the problem of how object descriptions can be used to reflect their components as well as relations among these components. Current reasoning systems on graph theory do not adequately provide models to discover complex relations among mathematical concepts (eg: relations involving subgraphs) mainly due to the inability to solve this problem. This thesis presents an approach to construct a knowledge-based system, GC (Graph Classification), which overcomes this difficulty in performing automated reasoning in graph theory. We describe graph concepts based on an attribute called Linear Recursive Constructivity (LRC). LRC defines classes …

Approximate Delay Analysis Of Transaction Oriented Communication In A Distributed System, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.

Finding Point Correspondences And Determining Motion Of A Rigid Object From Two Weak Perspective Views, Chia-Hoang Lee, Thomas Huang

Department of Computer Science Technical Reports

No abstract provided.

Benchmarking Of Mimd Hardware On Subdomain Splitting Elliptic Pde Solvers., Elias N. Houstis, John R. Rice, E. A. Vavalis

Department of Computer Science Technical Reports

No abstract provided.

On The Parallel-Decomposability Of Geometric Problems, Mikhail J. Atallah, Jyh-Jong Tsay

Department of Computer Science Technical Reports

No abstract provided.

Model-Based Interpretation Of Time-Varying Medical Data, Michael G. Kahn, Lawrence M. Fagan Washington University In St. Louis, Lewis B. Sheiner Washington University In St. Louis

All Computer Science and Engineering Research

Temporal concepts are critical is medical therapy-planning. If given early enough, specific therapeutic choices may abort or suppress evolving undesired changes in a patient’s clinical status. Effective medical decision making demands recognition and interpretation of complex temporal changes that permeate the medical record. This paper presents a methodology for representing and using medical knowledge about temporal relationships to infer the presence of clinically relevant events, and describes a program, called TOPAZ, that uses this methodology to generate a narrative summary of such events. A unique feature of TOPAZ is the use of numeric and symbolic modeling techniques to perform temporal …

(Probably) Optimal Solution To Some Problems Not Only On Graphs, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

The Nature Of Parallel Programming, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

Parallel programming is the art of writing programs for computers that perform many operations simultaneously. This essay discusses the nature of parallel programming without going into technical details. It uses a sorting problem to illustrate what it means to solve a problem in parallel, how we write parallel programs, how parallel computers execute them, and how fast they run. The author expects that scientific users of parallel computers may find ease of programming more important than maximum performance. He suggests ways to make this possible.

Isometries Homotopic To The Identity, Douglas A. Norris

Mathematics and Computer Science

The types of surfaces which admit nontrivial isometries homotopic to the identity are classified up to diffeomorphism. In dimension three this is done for complete manifolds of constant negative curvature. Three-dimensional visibility manifolds that admit nontrivial isometries homotopic to the identity are shown to be diffeomorphic to a product L x RI.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, March 1989, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.