Physical Sciences and Mathematics Commons^™

Reverse Engineering Of Computer-Based Navy Systems, Lonnie R. Welch, Guohui Yu, Binoy Ravindran, Franz J. Kurfess, Jorge Henriques, Mark Wilson, Antonio L. Samuel, Michael W. Masters

Computer Science and Software Engineering

The financial pressure to meet the need for change in computer-based systems through evolution rather than through revolution has spawned the discipline of reengineering. One driving factor of reengineering is that it is increasingly becoming the case that enhanced requirements placed on computer-based systems are overstressing the processing resources of the systems. Thus, the distribution of processing load over highly parallel and distributed hardware architectures has become part of the reengineering process for computer-based Navy systems.

This paper presents an intermediate representation (IR) for capturing features of computer-based systems to enable reengineering for concurrency. A novel feature of the IR …

Cross-Input Amortization Captures The Diffuse Adversary, Neal E. Young

Computer Science Technical Reports

Koutsoupias and Papadimitriou recently raised the question of how well deterministic on-line paging algorithms can do against a certain class of adversarially biased random inputs. Such an input is given in an on-line fashion; the adversary determines the next request probabilistically, subject to the constraint that no page may be requested with probability more than a fixed $\epsilon>0$. In this paper, we answer their question by estimating, within a factor of two, the optimal competitive ratio of any deterministic on-line strategy against this adversary. We further analyze randomized on-line strategies, obtaining upper and lower bounds within a factor of …

Secure Outsourcing Of Some Computations, Mikhail J. Atallah, Konstantinos N. Pantazopoulos, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Low-Threat Security Patches And Tools, Mohd A. Bashar, Ganesh Krishnan, Markus G. Kuhn, Eugene H. Spafford, Samuel S. Wagstaff Jr

Department of Computer Science Technical Reports

No abstract provided.

Searching For Ephemeral Subsequences In Strings, Alberto Apostolico, Mikhail J. Attalah

Department of Computer Science Technical Reports

No abstract provided.

Safe Structural Conformance For Java, Konstantin Laufer, Gerald Baumgartner, Vincent F. Russo

Department of Computer Science Technical Reports

No abstract provided.

Misplaced Trust: Kerberos 4 Session Keys, Bryn Dole, Steve Lodin, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Towards The Determination Of The Optimal P-Cyclic Ssor, A. Hadjidimos, D. Noutsos, M. Tzoumas

Department of Computer Science Technical Reports

No abstract provided.

On The Approximate Pattern Occurrences In A Text, Mireille Régnier, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Entropy Computations Via Analytic Depoissonization, Philippe Jacquet, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

On Asymptotics Of Certain Recurrences Arising In Multi-Alphabet Universal Coding, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Knowledge Discovery In Computational Science: A Case Study In Algorithm Selection, N. Ramakrishnan, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

The Purdue Pse Kernel: Towards A Kernel For Building Pses, Sanjiva Weerawarana, Elias N. Houstis, John R. Rice, Ann C. Catlin, Margaret G. Gaitatzes, Shahani Markus, Tzveten T. Drashansky

Department of Computer Science Technical Reports

No abstract provided.

A Cscw Framework For Networked Multimodal Synthetic Environments, Chandrajit L. Bajaj, Fausto Berardini, Steven Cutchin, Raimund Merket

Department of Computer Science Technical Reports

No abstract provided.

Dynamic Scheduling Of Process Groups, Kuei Yu Wang, Dan C. Marinescu, Octavian F. Carbunar

Department of Computer Science Technical Reports

No abstract provided.

Export Database Derivation Approach For Supporting Object-Oriented Wrapper Queries, Ee Peng Lim, Hon-Kuan Lee

Research Collection School Of Computing and Information Systems

Wrappers export the schema and data of existing heterogeneous databases and support queries on them. In the context of cooperative information systems, we present a flexible approach to specify the derivation of object-oriented (OO) export databases from local relational databases. Our export database derivation consists of a set of extent derivation structures (EDS) which defines the extent and deep extent of export classes. Having well-defined semantics, the EDS can be readily used in transforming wrapper queries to local queries. Based on the EDS, we developed a wrapper query evaluation strategy which handles OO queries on the export databases. The strategy …

Algorithms For Adapting Materialised Views In Data Warehouses, Mukesh Mohania, Guozhu Dong

Kno.e.sis Publications

In this paper we consider the problem of materialised view adaptation in data warehouses. Materialised views are important in data warehousing where they are used to speed up query processing on large amounts of data. User requirements change over time, which may change the definitions of views dynamically. For such situations, the question arises whether the materialised views should be recomputed from scratch for every change in the definition or they should be obtained by adapting old materialised views. Changes to a view definition may be expensive, if the view is recomputed from scratch. Therefore, it is worthwhile to examine …

A Specialization Toolkit To Increase The Diversity Of Operating Systems, Calton Pu, Andrew P. Black, Crispin Cowan, Jonathan Walpole, Charles Consel

Computer Science Faculty Publications and Presentations

Virus and worm attacks that exploit system implementation details can be countered with a diversified set of implementations. Furthermore, immune systems show that attacks from previously unknown organisms require effective dynamic response. In the Synthetix project, we have been developing a specialization toolkit to improve the performance of operating system kernels. The toolkit helps programmers generate and manage diverse specialized implementations of software modules. The Tempo-C specializer tool generates different versions for both compile-time and run-time specialization. We are now adapting the toolkit to improve operating system survivability against implementations attacks.

The Application Of A Multimedia System To The Tourist Guide Of The Miami International Airport, Ying-Yuang Chen

FIU Electronic Theses and Dissertations

This project is to present a multimedia system designed for Miami International Airport as a tourist guide for passengers and to demonstrate the functionalities and facilities of the airport.

The project is based on an inexpensive integrated and comprehensive multimedia environment. The major components of the environment consist of (1) a low cost PC 386/486 with only ISA bus and IDE hard drive, (2) a high quality and high performance add-on real-time video/audio codec board (30/25 fps for NTSC/PAL video and synchronized audio sampled at 22KHz), (3) software packages including interactive utility programs to record, playback and edit real-time video/audio …

Master Of Science In Computing Technology In Education 1996, Nova Southeastern University

College of Engineering and Computing Course Catalogs

No abstract provided.

Re-Engineering Technical Education In Industry Through Interactive Multimedia Computer-Based Training, Yolanda Kennedy, Erika Rogers

Computer Science and Software Engineering

This paper describes current work on re-engineering a short technical course in the area of Non-Destructive Evaluation/Inspection (NDE/I) sponsored by Boeing’s Defense and Space Group. The subject of the course is Eddy Current Testing, and is currently taught over a period of two days using traditional view foils and hand-built artifacts. An overview of some of the course material is presented together with how techniques such as task analysis and storyboarding are being used to design interactive multimedia training modules to support this course.

Interactive Student Support For Introductory Computer Science Courses, Barb Ericson, Erika Rogers

Computer Science and Software Engineering

This paper describes the development of interactive multimedia modules which provide supplementary tutorials on basic topics covered in introductory computer science classes. Two such modules were implemented on the topics of number conversions and basic operating system information. The first versions of the tutorials were evaluated in a study using protocol collection and a post-test with a number of student participants. Results from this study led to the re-design of several portions of the tutorials, which now have a greater level of interaction and progressive assistance for problem-solving.

The Dark Side Of Risk (What Your Mother Never Told You About Time Warp), David M. Nicol, Xiaowen Liu

Computer Science Technical Reports

This paper is a reminder of the danger of allowing ``risk'' when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine may, when run in parallel, fail catastrophically. This can happen when Time Warp presents an ``inconsistent'' message to an LP, a message that makes absolutely no sense given the LP's state. Failure may result if the simulation modeler did not anticipate the possibility of this inconsistency. While the problem is not new, there has been little discussion of how to deal with it; furthermore the problem may not be evident to new users …

A Critique Of The Telecommunications Description Language (Ted), Brian J. Premore, David M. Nicol, Xiaowen Liu

Computer Science Technical Reports

TeD is an object-oriented description language designed to facilitate the modeling of large scale telecommunication networks, with simulation on parallel and distributed platforms. TeD models are mapped to the Georgia Tech Time Warp engine (GTW) for execution. In this paper we outline the features of TeD, pointing out its strengths and identifying characteristics that gave us trouble as we used TeD to model detailed networks. Our issues are motivated specifically by a model of TCP and a model of multicast resource allocation. Our intention is to illustrate by example what TeD can do, and characteristics that a potential TeD user …

High Quality Alias Free Image Rotation, Charles B. Owen, Fillia Makedon

Dartmouth Scholarship

This paper presents new algorithms for the rotation of images. The primary design criteria for these algorithms is very high quality. Common methods for image rotation, including convolutional and separable approaches, are examined and shown to exhibit significant high frequency aliasing problems. A new resampling filter design methodology is presented which minimizes the problem for conventional convolution-based image rotation. The paper also presents a new separable image rotation algorithm which exhibits improved performance in term of reduction in artifacts and an efficient $O(N^{2} log N)$ running time.

Agent Based Network Systems For Multi- Physics Problems, Tzvetan Drashansky, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Pattern Matching Image Compression With Predication Loop: Preliminary Experimental Results, Denis Arnaud, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Annotated Statistical Indices For Sequence Analysis, Alberto Apostolico, Mary Ellen Bock, Xuyan Xu

Department of Computer Science Technical Reports

No abstract provided.

Parallel (//) Ellpack: A Problem Solving Environment For Pde Based Applications On Multicomputer Platforms, Elias N. Houstis, John R. Rice, S. Weerawarana, A. C. Catlin, P. Papachiou, M. Gaitatzes

Department of Computer Science Technical Reports

No abstract provided.

Finanzia: An Option Valuation Library, Konstantinos N. Pantazopoulos, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.