Computer Engineering Commons^™

Complexity Of Collective Decision Making Explained By Neural Network Universal Approximation Theorem, Raul A. Trejo, Vladik Kreinovich

Departmental Technical Reports (CS)

No abstract provided.

Interval Approach To Non-Destructive Testing Of Aerospace Structures And To Mammography, Keith Worden, Roberto A. Osegueda, Carlos M. Ferregut, Soheil Nazarian, Eulalio Rodriguez, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio Cabrera

Departmental Technical Reports (CS)

No abstract provided.

Time Series Analysis Of Ozone Data, Delparde Raleigh Guthrey

Theses Digitization Project

No abstract provided.

Compilation Techniques For Out-Of-Core Parallel Computations, Mahmut Kandemir, Alok Choudhary, J. Ramanujam, Rajesh Bordawekar

Electrical Engineering and Computer Science - All Scholarship

The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core version of a program is a difficult task and virtual memory systems do not perform well on scientific computations, we believe that there is a clear need for compiler directed explicit I/O approach for out-of-core computations. In this paper, we first present an out-of-core compilation strategy based on a disk storage abstraction. Then we offer a compiler algorithm to optimize locality of disk accesses in out-of core codes by choosing a good combination of file …

Enhancing Spatial Locality Via Data Layout Optimizations, Mahmut Kandemir, Alok Choudhary, J. Ramanujam, N. Shenoy

Electrical Engineering and Computer Science - All Scholarship

This paper aims to improve locality of references by suitably choosing array layouts. We use a new definition of spatial reuse vectors that takes into account memory layout of arrays. This capability creates two opportunities. First, it allows us to develop an array restructuring framework based on a combination of hyperplane theory and reuse vectors. Second, it allows us to observe the effect of different array layout optimizations on spatial reuse vectors. Since the iteration space based locality optimizations also change the spatial reuse vectors, our approach allows us to compare the iteration-space based and data-space based approaches in terms …

Student Database Access From The Web, Prashanthi Sundaram

Theses Digitization Project

This project, Database Access through the Web (DAW), implements a database to store academic and general information of graduate students in the Department of Computer Science, CSUSB and provides access to the database from the web. The motivation of the project comes from needs of the Graduate Coordinator, professors and department staff to access through the Internet student information concurrently.

The Rmt (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineeering Tool For Monitoring And Predicting Software Development Progress, Chungping Lin

Theses Digitization Project

No abstract provided.

Surveygen: A Web-Based Survey Editor, Kwon Soo Han

Theses Digitization Project

No abstract provided.

A Web-Based Universal Encyclopedia/Dictionary, Francis Hyeongwoo Lee

Theses Digitization Project

No abstract provided.

Alps: A Logic For Program Synthesis (Motivated By Fuzzy Logic), Daniel E. Cooke, Vladik Kreinovich, Scott A. Starks

Departmental Technical Reports (CS)

One of the typical problems in engineering and scientific applications is as follows: we know the values x1,...,xn of some quantities, we are interested in the values of some other quantities y1,...,ym, and we know the relationships between xi, yj, and, maybe, some auxiliary physical quantities z1,...,zk. For example, we may know an algorithm to compute y2 from x_1, x3, and y1; we may also know an equation F(x1,x2,y1)=0 that relates these values, etc. The question is: can we compute the values of yj, and, if we can, how to do it?

At first glance, this is a problem of …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 14, Number 1, January 1998, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

The Study, Design, And Implementation Of Data Mart Functions In Windows Environments, Shenning Wen

Theses Digitization Project

No abstract provided.

Apparatus And Method For Detection And Concentration Measurement Of Trace Metals Using Laser Induced Breakdown Spectroscopy, Dennis R. Alexander

Department of Electrical and Computer Engineering: Faculty Publications

A method and apparatus for in situ detection and concentration measurement of trace elements in an analysis Sample is disclosed. The invention uses laser induced breakdown spectroscopy (LIBS) wherein femtosecond pulsed laser energy is employed to produce the plasma. The femtosecond pulsed laser energy is focused on the analysis Sample to produce the plasma and the resulting emission is delivered for spectral analysis. Because the method and apparatus of the present invention allow breakdown of the analysis Sample without propagation of energy to the Sample-air interface, a plasma is produced that consists essentially of Sample materials without being contaminated by …

Infrared Ellpsometer/ Polarmeter System, Method Of Calibration, And Use Thereof, Daniel W. Thompson, Blaine D. Johs

Department of Electrical and Computer Engineering: Faculty Publications

A sample system investigation system, such as an ellipsometer or polarimeter system, for use in investigating sample systems with electromagnetic wavelengths in the infrared range, and a calibration method for compensating nonidealities in multi-dimensional system rotated and non-rotated component representing matricies, are disclosed. An essentially achromatic compensator of dual-rhomb construction, which introduces a (3*LAMBDA/4) phase shift, but essentially no deviation in the direction of propagation of a polarized beam of electromagnetic wavelengths caused to pass there through, even when said compensator is caused to continuously rotate, is also disclosed.

A Modification Of Sugeno Integral Describes Stability And Smoothness Of Fuzzy Control, Hung T. Nguyen, Vladik Kreinovich

Departmental Technical Reports (CS)

Sugeno integral was invented a few decades ago as a natural fuzzy analogue of the classical integral. Sugeno integral has many interesting applications. It is reasonable to expect that it can be used in all application areas where classical integrals are used, and in many such areas it is indeed useful. Surprisingly, however, it has never been used in fuzzy control, although in traditional control, classical integral is one of the main tools.

In this paper, we show that the appropriately modified Sugeno integral is indeed useful for fuzzy control: namely, it provides numerical characterization of stability and smoothness of …

Where To Bisect A Box? A Theoretical Explanation Of The Experimental Results, Vladik Kreinovich, R. Baker Kearfott

Departmental Technical Reports (CS)

No abstract provided.

Ordinal Explanation Of The Periodic System Of Chemical Elements, Eric R. Scerri, Vladik Kreinovich, Piotr Wojciechowski, Ronald R. Yager

Departmental Technical Reports (CS)

Textbooks often claim that quantum mechanics explained the periodic system: namely, the actual configuration of electronic orbits that is responsible for the element's chemical properties can be described as the one that minimizes the total energy, and the energy of each configuration can be computed by using quantum mechanics.

However, a careful analysis of this explanation reveals that, in addition to the basic equations of quantum mechanics, we need some heuristic rules that do not directly follow from quantum physics. One reason why additional heuristics are necessary is that the corresponding numerical equations are extremely difficult to solve, and as …

On Geometry Of Radio Antenna Placements, Olga Kosheleva, Vladik Kreinovich, Andrei M. Finkelstein, Steve Chan

Departmental Technical Reports (CS)

No abstract provided.

Stackguard: Automatic Adaptive Detection And Prevention Of Buffer-Overflow Attacks, Crispin Cowan, Calton Pu, David Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang

Computer Science Faculty Publications and Presentations

This paper presents a systematic solution to the persistent problem of buffer overflow attacks. Buffer overflow attacks gained notoriety in 1988 as part of the Morris Worm incident on the Internet. While it is fairly simple to fix individual buffer overflow vulnerabilities, buffer overflow attacks continue to this day. Hundreds of attacks have been discovered, and while most of the obvious vulnerabilities have now been patched, more sophisticated buffer overflow attacks continue to emerge.

We describe StackGuard: a simple compiler technique that virtually eliminates buffer overflow vulnerabilities with only modest performance penalties. Privileged programs that are recompiled with the StackGuard …

Attitude Measurement, Mark A. Stedham, Partha P. Banerjee, Seiji Nishifuji, Shogo Tanaka

Electrical and Computer Engineering Faculty Publications

In many practical situations, it is important to determine and measure the attitude of a particular vehicle, such as a ship, an airplane, a piece of mechanical equipment such as a, crane lifter, or a spacecraft. For this reason, many attitude sensors have been developed with advanced computer and semiconductor technologies. This section first introduces the various attitude sensors with an explanation of their operating principles and then presents several methodologies for attitude measurement and determination, including ships and crane lifters, aircraft, and spacecraft applications.

Strategies For Evaluating Software Usability, Ronan Fitzpatrick

Articles

This paper presents a usage analysis and taxonomy of methods which are used to evaluate the usability of computer systems. To accommodate the analysis and taxonomy, a matrix of strategies which can be used for effective usability evaluation is presented. Such an analysis, taxonomy and strategies support human-computer interaction (HCI) professionals who have the responsibility for ensuring computer system usability. The strategies outlined are named Virtual Engineering, Soft Modelling, Hard Review and Real World. This paper also uses a composite set of existing popular generic evaluation methods which can be used as part of these strategies. The methods used are …

Functional Radionuclide Imaging Algorithm Based On The Appended Curve Deconvolution Technique And Its Use In The Diagnosis Of Renovascular Hypertension, İrfan Karagöz, Hi̇kmet Bayhan

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a new method called the pixel basis functional radionuclide imaging (PBFRI) algorithm based on the appended curve deconvolution technique, in order to be able to increase the medical diagnostic capability of a conventional gamma camera, is presented together with the clinical results. In the PBFRI method, retention function of each pixel is obtained from the renograms and cardiac curves generated by processing the filtered segments of the kidney and heart, using a special deconvolution method. The deconvolution operation is done by using the Fourier transform technique. High frequency artifacts presented by the Fourier transform are removed by …

Genetic Approach For The Determination Of Object Parameters From X Ray Projections, Tayfun Günel, Sedef Kent

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a new method is presented, based on genetic algorithms for determining object parameters such as radii and/or attenuation coefficients with some assumptions and estimating a cross-sectional image of an object from its projections obtained by X ray illumination. After it was tested for projections degraded by different random noise levels, it was observed that the genetic and fuzzy genetic algorithms improved the signal to noise ratio of the projections. The fuzzy genetic algorithm gave better results than the genetic algorithm.

Modeling Mobile Ip In Mobile Unity, Peter J. Mccann, Gruia-Catalin Roman

All Computer Science and Engineering Research

With recent advances in wireless communication technology, mobile computing is an increasingly important area of research. A mobile system is one where independently executing components may migrate through some space during the course of the computation, and where the pattern of connectivity among the components changes as they move in and out of proximity. Mobile UNITY is a notation and proof logic for specifying and reasoning about mobile systems. In this paper it is argued that Mobile UNITY contributes to the modular development of system specifications because of the declarative fashion in which coordination among components is specified. The packet …

A Simplified Reservation And State Setup Protocol, Hari Adiseshu, Guru Parulkar, Subhash Suri

All Computer Science and Engineering Research

The last few years have seen the development of a model for Integrated Services Internet, which extends the traditional Internet by adding multiple service classes in addition to the traditional best effort service class, and a signaling protocol called RSVP for applications to reserve resources. While this framework has been standardized in the IETF WGs and the RSVP protocol has been defined, there has been no movement towards a commercial implementation of this framework, principally due to its perceived complexity and lack of scalability. This paper analyzes RSVP, discusses some of the its bottlenecks and shows how they can be …

Tcp/Ip Implementation With Endsystem Qos, Sherlia Y. Shi, Gurudatta M. Parulkar, R. Gopalakrishnan

All Computer Science and Engineering Research

This paper presents a Real-time Upcall (RTU) [1] based TCP/IP implementation that guarantees throughput for continuous media applications and ensures low latency bounds for interactive applications. RTU is an endsystem rate-based scheduling mechanism that provides quality of service (QoS) in terms of CPU cycles, to applications. We restructured the existing NetBSD TCP/IP implementation to exploit the RTU concurrency model and to provide predictable performance. Our experimental results show that on two 200 MHz NetBSD PCs connected by a 155Mbps ATM link, the RTU based kernel TCP/IP implementation provides excellent throughput guarantees for periodic connections regardless the system or network load. …

Application Development And Management In The Programmers' Playground, T. Paul Mccartney, E.F. Berkley Shands, Kenneth J. Goldman, William M. Shapiro

All Computer Science and Engineering Research

Application management refers to the process of making software applications available to end-users and providing automated mechanisms for launching and joining such applications. The Programmers' Playground is a computing environment for creating distributed applications from modular, reusable components. This paper discusses a set of tools that enable application developers to: (1) design and debug Playground distributed applications from existing "off-the-shelf" components using a visual configuration tool, (2) make new application components available on the Internet through a "launcher" service, and (3) make complete distributed applications available via a World Wide Web interface, enabling end-users to launch and join the applications …

Terabit Burst Switching Progress Report (6/98-9/98), Jonathan S. Turner

All Computer Science and Engineering Research

This report summarizes progress on the Terabit Burst Switching Project at Washington University for the period from June 15, 1998 through September 15, 1998.

Agnostic Learning Of Geometric Patterns, Sally A. Goldman, Stephen S. Kwek, Stephen D. Scott

All Computer Science and Engineering Research

Goldberg, Goldman, and Scott demonstrated how the problem of recognizing a landmark from a one-dimensional visual image can be mapped to that of learning a one-dimensional geometric pattern and gave a PAC algorithm to learn that class. In this paper, we present an efficient on-line agnostic learning algorithm for learning the class of constant-dimension geometric patterns. Our algorithm can tolerate both classification and attribute noise. By working in higher dimensional spaces we can represent more features from the visual image in the geometric pattern. Our mapping of the data to a geometric pattern, and hence our learning algorithm, is applicable …

Fault-Tolerant Mobile Ip, Rajib Ghosh, George Varghese

All Computer Science and Engineering Research

We describe mechanisms to enhance the reliability and performance of Mobile IP. In Mobile IP today home agents and foreign agents are single points of failure and potential performance bottlenecks. For example, a home agent crash can lead to communication failure if the mobile is away from home. In this paper we describe new mechanisms to allow redundant home and foreign agents. Redundant agents can take over from each other in case of failure, and also split load amongst themselves. Our mechanisms are simple, transparent to existing mobile nodes, and compatible with the existing Mobile IP specification. We have implemented …