Computer Engineering Commons^™

Towards Computers Of Generation Omega - Non-Equilibrium Thermodynamics, Granularity, And Acausal Processes: A Brief Survey, Misha Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS'97), National Institute of Standards and Technology Publ., Gaithersburg, MD, 1997, pp. 383-388.

Nowadays, we are using mainly computer of fourth generation, and we are designing fifth-generation computers. It is reasonable to ask: what is the perspective? What will the computers of generation omega look like?

--As the speed of data processing increases, we face a natural limitation of causality, according to which the speed of all processes is limited by the speed of light.

--Lately, a new area of acausal (causality violating) processes has entered mainstream physics.

This …

Multi-Resolution Data Processing: It Is Necessary, It Is Possible, It Is Fundamental, Scott A. Starks, Vladik Kreinovich, Alex Meystel

Departmental Technical Reports (CS)

Experience shows that many data processing problems are difficult to solve, and some of these problems have even been proven to be computationally intractable. Human experts successfully solve many such problems by using a hierarchical, multi-resolution approach. These multi-resolution methods are, in several cases, provably optimal. However, due to the computational intractability of the problem itself, the multi-resolution approach can only work if the systems that we are analyzing are themselves hierarchical. We show that, first, due to (inevitable) measurement inaccuracies, an arbitrary input data is consistent with the hierarchical model, and second, that in many cases, the actual physical …

Gallium Desorption Behavior At Algaas/Gaas Heterointerfaces During High-Temperature Molecular Beam Epitaxy, K. Mahalingam, D. L. Dorsey, K. R. Evans, Rama Venkat

Electrical & Computer Engineering Faculty Research

A Monte Carlo simulation study is performed to investigate the Ga desorption behavior during AlGaAs-on-GaAs heterointerface formation by molecular beam epitaxy. The transients in the Ga desorption rate upon opening the Al shutter are shown to be associated with the concurrent reduction in the V/III flux ratio. Monte Carlo simulations employing a constant V/III flux ratio yield a “steplike” variation in the Ga desorption rate with the resulting interfaces closer in abruptness to the ideal AlGaAs-on-GaAs interface. Further details on the stoichiometry of the interface and its relationship with predicted Ga desorption profiles is presented.

Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki

Faculty Publications

The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.

An Improved Analytical Model For Wormhole Routed Networks With Application To Butterfly Fat-Trees, Ronald I. Greenberg, Lee Guan

Computer Science: Faculty Publications and Other Works

A performance model for wormhole routed interconnection networks is presented and applied to the butterfly fat-tree network. Experimental results agree very closely over a wide range of load rate. Novel aspects of the model, leading to accurate and simple performance predictions, include (1) use of multiple-server queues, and (2) a general method of correcting queuing results based on Poisson arrivals to apply to wormhole routing. These ideas can also be applied to other networks.

Trends. Supercomputer Sales And Nuclear Proliferation: The Surrealist Top Ten, Ibpp Editor

International Bulletin of Political Psychology

The author discusses supercomputers in conjunction with nuclear weapons.

Dynamic Load Distribution In Mist, K. Al-Saqabi, R. M. Prouty, Dylan Mcnamee, Steve Otto, Jonathan Walpole

Computer Science Faculty Publications and Presentations

This paper presents an algorithm for scheduling parallel applications in large-scale, multiuser, heterogeneous distributed systems. The approach is primarily targeted at systems that harvest idle cycles in general-purpose workstation networks, but is also applicable to clustered computer systems and massively parallel processors. The algorithm handles unequal processor capacities, multiple architecture types and dynamic variations in the number of processes and available processors. Scheduling decisions are driven by the desire to minimize turnaround time while maintaining fairness among competing applications. For efficiency, the virtual processors (VPs) of each application are gang scheduled on some subset of the available physical processors.

Specification And Verification Of Generic Cell Rate Algorithms In Pvs, Huseyin Ozgungor

Electrical & Computer Engineering Theses & Dissertations

Formal verification methods have been considered as a powerful complementary approach to define standards and to prove correctness of the systems. In this work, formal specification of Generic Cell Rate Algorithms are defined and proved. The specification process enables standardization for constructing Generic Cell Rate Algorithms. Standardization is an important process in the Asynchronous Transfer Mode (ATM) networks. By employing formal methods, the necessary standards could be constructed to allow different algorithms to be employed which still meet system requirements. Those system requirements are quantified in the Quality of Service (QOS).

Congestion management is a vital concept for networks in …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 13, Number 6, June 1997, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

Wright State University College of Engineering and Computer Science

High Performance Distributed Storage Architectures, Ahmed M Amer

Archived Theses and Dissertations

No abstract provided.

A Toolkit For Specializing Production Operating System Code, Crispin Cowan, Dylan Mcnamee, Andrew P. Black, Calton Pu, Jonathan Walpole, Charles Krasic, Perry Wagle, Qian Zhang

Computer Science Faculty Publications and Presentations

Specialization has been recognized as a powerful technique for optimizing operating systems. However, specialization has not been broadly applied beyond the research community because the current techniques, based on manual specialization, are time-consuming and error-prone. This paper describes a specialization toolkit that should help broaden the applicability of specializing operating systems by assisting in the automatic generation of specialized code, and {\em guarding} the specialized code to ensure the specialized system continues to be correct. We demonstrate the effectiveness of the toolkit by describing experiences we have had applying it in real, production environments. We report on our experiences with …

An Ontology Tool For Distributed Information Environments, Kuhanandha Mahalingam, Michael N. Huhns

Faculty Publications

This paper describes how ontologies can be used for query formulation and semantic reconciliation in large distributed information environments. It presents a tool, written in Java, that can be used to create and browse ontologies, and construct ontology-based queries. The tool incorporates several abstraction mechanisms that enable users to manage large ontologies, which are typical of large information environments. The tool is being applied to an information system for healthcare administrators, which spans hospitals, clinics, and governmental health departments.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 13, Number 5, May 1997, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Predictable File Access Latency For Multimedia, Dan Revel, Crispin Cowan, Dylan Mcnamee, Calton Pu, Jonathan Walpole

Computer Science Faculty Publications and Presentations

Multimedia applications are sensitive to I/O latency and jitter when accessing data in secondary storage. Transparent adaptive prefetching (TAP) uses software feedback to provide multimedia applications with file system quality of service (QoS) guarantees. We are investigating how QoS requirements can be communicated and how they can be met by adaptive resource management. A preliminary test of adaptive prefetching is presented.

Single Row Routing: Theoretical And Experimental Performance Evaluation, And New Heuristic Development, David A. Hysom

Computer Science Theses & Dissertations

The Single Row Routing Problem (SRRP) is an abstraction arising from real-world multilayer routing concerns. While NP-Complete, development of efficient SRRP routing heuristics are of vital concern to VLSI design. Previously, researchers have introduced various heuristics for SRRP; however, a comprehensive examination of SRRP behavior has been lacking.

We are particularly concerned with the street-congestion minimization constraint, which is agreed to be the constraint of greatest interest to industry. Several theorems stating lower bounds on street congestion are known. We show that these bounds are not tight in general, and argue they may be in error by at least 50% …

Soft Computing: Frontiers? A Case Study Of Hyper-Spectral Satellite Imaging, Scott A. Starks, Vladik Kreinovich

Departmental Technical Reports (CS)

Soft computing methods such as fuzzy control, neural networks, etc., often require lots of computations even for small amounts of data. It is, therefore, sometimes believed that for larger amounts of data, the required amount of computations will be so large that we will reach the frontiers of soft computing.

In this paper, we show, on the example of hyper-spectral satellite imaging, that this belief is often too pessimistic. We should not be afraid to use (or at least to try to use) soft computing methods even for large amounts of data.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 13, Number 4, April 1997, 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.

Mlpq: A Linear Constraint Database System With Aggregate Operators, Yiming Li

School of Computing: Dissertations, Theses, and Student Research

In this project report, I will discuss a Multiple Linear Programming Query (MLPQ) system and the theoretical background of this system.The MPLQ system is developed to solve some realistic problems involving both linear programming (UP) techniques and linear constraint databases (LCDBs) theory. The MLPQ system is aimed at providing a mechanism of bridging these two important areas. system basically consists of three parts which are a linear constraint database, an LP solver, and an interface between the LCDB and the LP solver. The LCDB of the MLPQ system contains multiple linear programming problems. The LP solver used in the MPLQ …

An Adaptive Scheme For Admission Control In Atm Networks, Saragur M. Srinidhi, William H. Thesling, Vijaya K. Konangi

Electrical and Computer Engineering Faculty Publications

This paper presents a real time front-end admission control scheme for ATM networks. A call management scheme which uses the burstiness associated with traffic sources in a heterogeneous ATM environment to effect dynamic assignment of bandwidth is presented. In the proposed scheme, call acceptance is based on an on-line evaluation of the upper bound on cell loss probability which is derived from the estimated distribution of the number of calls arriving. Using this scheme, the negotiated quality of service will be assured when there is no estimation error. The control mechanism is effective when the number of …

A Framework For An Automated Compilation System For Reconfigurable Architectures, George R. Roelke Iv

Theses and Dissertations

The advent of the Field Programmable Gate Array has allowed the implementation of runtime reconfigurable computer systems. These systems are capable of configuring their hardware to provide custom hardware support for software applications. Since these architectures can be reconfigured during operation, they are able to provide hardware support for a variety of applications, without removal from the system. The Air Force is currently investigating reconfigurable architectures for avionics and signal processing applications. This thesis investigates the problem of automating the application development process for reconfigurable architectures. The lack of automated development support is a major limiting factor in the use …

A Crosstalk Correcting Router That Uses Online Noise Simulation To Route High Speed Multichip Modules, Kenneth J. Mcclellan Jr.

Theses and Dissertations

Existing MultiChip Module (MCM) auto-routers either ignore crosstalk or use over simplified crosstalk approximations. Of the routers that do consider crosstalk, very few have the capability to correct crosstalk problems after they occur. This dissertation describes a router that not only has an internal crosstalk model for high speed MCMs which is more accurate than that of other existing routers, but also has the capability to use an online simulator to more accurately determine noise levels. After crosstalk problems occur, the router has the ability to correct these problems. Through memory usage reductions and routing efficiency improvements, this maze router …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 13, Number 3, March 1997, 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.

Theoretical Study Of A Linear Accelerator Used As A Vuv/X-Ray Source Using The Inverse Compton Scattering Mechanism: Comparisons And Applications, Robert A. Schill Jr., Edward Mccrea

Electrical & Computer Engineering Faculty Research

A classical linear theory is used to compare large synchrotron sources to a rf linear accelerator employed as a VUV/X-ray source. Comparisons are made on a per-pulse basis. It is demonstrated that the linear accelerator as an X-ray source is comparable to large synchrotron accelerators with wiggler insertion devices at the experiment. Applications to lithography, X-ray microscopy, X-ray spectroscopy and detector calibration are examined. Excluding lithography, the linear accelerator with an appropriate laser source is a useful source of X rays for these applications. As verification, classical results are compared with quantum mechanical results and are shown to be in …

High-Bandwidth Attitude Jitter Determination For Pointing And Tracking Systems, Marcelo C. Algrain

Department of Electrical and Computer Engineering: Faculty Publications

For many reasons smaller spacecraft are becoming more appealing. Because of their lower inertias, these spacecraft are more sensitive to disturbances and likely to have more attitude jitter than the larger units. These jitter levels are unacceptable for some scientific instruments and need to be compensated. In the case of line-of-sight type instruments, the attitude jitter can be mitigated by incorporating a fast steering mirror into the system. To take full advantage of these devices, the spacecraft attitude must be measured at sufficiently high bandwidth, well beyond what is commonly provided by inertial reference units. Various ways to obtain higher …

A Simplified Approach To Reduce Blocking And Ringing Artifacts In Transform-Coded Images, Jianping Hu

Dissertations and Theses

Presently Block-based Discrete Cosine Transform (BDCT) image coding techniques are widely used in image and video compression applications such as JPEG and MPEG. At a moderate bit rate, BDCT is usually a quite satisfactory solution to most of practical coding applications. However, for high rate compression it produces noticeable blocking and ringing artifacts in the decompressed image. It has been an active research area for a decade for reducing these artifacts. In this thesis, a novel post-processing algorithm is proposed to remove the blocking and ringing artifacts at low bit rate. It is non-iterative and uses both spatial and transform …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 13, Number 2, February 1997, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

A Global Computing Environment For Networked Resources, Haluk Topcuoglu, Salim Hariri

Electrical Engineering and Computer Science - All Scholarship

Current advances in high-speed networks and WWW technologies have made network computing a cost-effective, high-performance computing alternative. New software tools are being developed to utilize efficiently the network computing environment. Our project, called Virtual Distributed Computing Environment (VDCE), is a high-performance computing environment that allows users to write and evaluate networked applications for different hardware and software configurations using a web interface. In this paper we present the software architecture of VDCE by emphasizing application development and specification, scheduling, and execution/runtime aspects.

English-Chinese Bilingual Database And The Compilation Of Dictionary, Gan Ye, Nanjing University

Pepperdine University Libraries

No abstract provided.

Multi-Criteria Optimization - An Important Foundation Of Fuzzy System Design, Hung T. Nguyen, Vladik Kreinovich

Departmental Technical Reports (CS)

In many real-life design situations, there are several different criteria that we want to optimize, and these criteria are often in conflict with each other. Traditionally, such multi-criteria optimization situations are handled in an ad hoc manner, when different conflicting criteria are artificially combined into a single combination objective that is then optimized. The use of unnatural ad hoc tools is clearly not the best way of describing a very natural aspect of human reasoning. Fuzzy logic describes a much more natural way of handling multi-criterion optimization problems: when we cannot maximize each of the original conflicting criteria 100%, we …

Computers Of Generation Omega, Vladik Kreinovich

Departmental Technical Reports (CS)

To make computers faster, we must take smaller and smaller processing elements, and to analyze these elements, we need to take into consideration more and more subtle quantum effects. A. Stern has shown a natural way to use quantum field theory for computing. It turns out that if we take into consideration all quantum effects, then this idea leads to an even faster performance.