Digital Commons Network^™

Methodology For Modeling High Performance Distributed And Parallel Systems, Rakesh Kushwaha

Dissertations

Performance modeling of distributed and parallel systems is of considerable importance to the high performance computing community. To achieve high performance, proper task or process assignment and data or file allocation among processing sites is essential. This dissertation describes an elegant approach to model distributed and parallel systems, which combines the optimal static solutions for data allocation with dynamic policies for task assignment. A performance-efficient system model is developed using analytical tools and techniques.

The system model is accomplished in three steps. First, the basic client-server model which allows only data transfer is evaluated. A prediction and evaluation method is …

Using Temporal Subsumption For Developing Efficient Error-Detecting Distributed Algorithms, Martina Schollmeyer, Bruce M. Mcmillin

Computer Science Technical Reports

Distributed algorithms can use executable assertions derived from program verification to detect errors at run-time. However, a complete verification proof outline contains a large number of assertions, and embedding all of them into the program to be checked at run-time would make error-detection very inefficient.

The technique of temporal subsumption examines the dependencies between the individual assertions along program execution paths. In contrast to classical subsumption, where all logical expressions to be examined are true simultaneously, an assertion need only be true when the corresponding statement in the distributed program has been executed. Thus, temporal subsumption based on the set …

A Run-Time Decision Procedure For Responsive Computing Systems, Grace Tsai, Matt Insall, Bruce M. Mcmillin

Computer Science Technical Reports

A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In such a system, severe consequences will occur if the logical and physical specifications of the system are not met. In this paper, we present a logic, Interval Temporal Logic (ITL), to specify responsive systems and give decision procedures to verify properties of the system at run-time as follows. First, we collect, during execution, events occurring in the system to represent a distributed computation. Next, we specify properties of the system using ITL formulas. Finally, we apply the decision procedures to determine satisfaction of the formulas. Thus, …

Parametricity And Local Variables, Peter W. O'Hearn, R. D. Tennent

Electrical Engineering and Computer Science - Technical Reports

We propose that the phenomenon of local state may be understood in terms of Strachey's concept of parametric (i.e., uniform) polymorphism. The intuitive basis for our proposal is the following analogy: a non-local procedure is independent of locally-declared variables in the same way that a parametrically polymorphic function is independent of types to which it is instantiated. A connection between parametricity and representational abstraction was first suggested by J. C. Reynolds. Reynolds used logical relations to formalize this connection in languages with type variables and user-defined types. We use relational parametricity to construct a model for an Algol-like language in …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 8, October 1993, 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.

Scheduling With Compensation In Multi- Database Systems, Aidong Zhang, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.

Structured And Object-Oriented Methodologies: A Comparative Analysis Based On A Case Study, Gary Brian Warren

Honors Capstone Projects and Theses

No abstract provided.

Modeling Flexibility In Distributed Transactions, Ahmed Elmagarmid, Aidong Zhang

Department of Computer Science Technical Reports

No abstract provided.

Softlab - A Virtual Laboratory For Computational Science, Christoph M. Hoffmann, Elias N. Houstis, John R. Rice, Ann Christine Catlin, Margaret Gaitatzes, N-H. Linda Wang, Christos G. Takoudis, David G. Taylor

Department of Computer Science Technical Reports

No abstract provided.

Semantic Problems Of Generative, Constraint Based Design, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

A Distributed Memory Algorithm For 3-D Fft, Calin R. Costian, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.

Hybrid Arq Schemes For Point-To-Multipoint Communications Over Nonstationary Broadcast Channels, Robert H. Deng

Research Collection School Of Computing and Information Systems

Hybrid automatic-repeat-request (ARQ) error control schemes make use of both error detection and error correction in order to achieve high throughput and low undetected error probabilities on two way channels. Two hybrid ARQ schemes, termed hybrid go-back-N (HGB- N) and hybrid selective-repeat (HSR), are proposed for point-to-multipoint communications over broadcast channels. Both schemes incorporate a concatenated code for error correction and error detection. The performance study of the hybrid schemes is based on a two-state Markov model of a burst noise channel. An analytic solution is derived for the throughput efficiency of the HSR scheme, while approximations and computer simulation …

Computerized Vehicle Routing Programs And Their Effect On Vehicle Utilization In The Air Force, Rex E. Adee, William G. Howard

Theses and Dissertations

The purpose of this study is to determine if a commercial computerized vehicle routing program improves vehicle utilization for an Air Force base transportation organization. First, the researchers investigate current routing procedures of Air Force base transportation organizations. Second, researchers identify a commercial computerized vehicle routing program that enables the authors to conduct a comparison of vehicle utilization rates between an Air Force base transportation organization and commercial computerized vehicle routing programs. The study reveals that implementing a computerized vehicle routing program in place of a manual routing procedure does not improve vehicle utilization. However, the study reveals some limitations …

On The Automation Of Object-Oriented Requirements Analysis, Nancy L. Crowley

Theses and Dissertations

The research investigated the possibility that an object-oriented requirements analysis (OORA) specification model can be represented in a computer system and used as a basis for the elicitation of the information necessary for the development of an object-oriented specification for a particular problem. The proof-of-concept system developed is called the OORA automated Knowledge System (OAKS). OAKS contains a generic domain model that is modified to satisfy a particular problem in the domain. The core of OAKS is a reusable domain model, which represents a domain of interest. The domain model is used as a basis for user changes that are …

Evaluating The Effectiveness Of Certain Metrics In Measuring The Quality Of End User Documentation, Ronald Morrison

Dissertations and Theses

Traditional methods of evaluating quality in computer end user documentation have been subjective in nature, and have not been widely used in practice. Attempts to quantify quality and more narrowly define the essential features of quality have been limited -- leaving the issue of quality largely up to the writer of the user manual.

Quantifiable measures from the literature, especially Velotta (1992) and Brockman (1990), have been assembled into a set of uniformly weighted metrics for the measurement of document quality. This measure has been applied to the end user documentation of eighty-two personal computer packages. End user documentation is …

Formal Model And Specification Of Deadlock, Pei-Yu Li, Bruce M. Mcmillin

Computer Science Technical Reports

In this paper, we present a formal model of deadlock in a distributed system and develop the deadlock specification in terms of time-dependent predicates. Primitive activities of processes in the distributed system are specified by the predicates so that system behaviors can be described by logic operations. With the formal model, we have an insight into the definition of deadlock in local views. A rigorous proof to show the equivalence of local-time and global-time deadlock specifications is presented. The local-time deadlock specification, which defines the timing of dependence between deadlocked processes, will be useful in the correctness verification of distributed …

Specifying And Enforcing Intertask Dependencies, Paul Attie, Munindar Singh, Amit P. Sheth, Marek Rusinkiewicz

Kno.e.sis Publications

Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or workflows that access heterogeneous databases and legacy application systems. Most extended transaction models use conditions involving events or dependencies between transactions. Intertask dependencies can serve as a uniform framework for defining extended transaction models. In this paper we introduce event attributes needed to determine whether a dependency is enforceable and to properly schedule events in extended transaction models. Using these attributes and a formalization of a dependency into the temporal logic CTL, we can automatically synthesize an automaton that captures the computations that …

A Network Management Tool For The University Of Tennessee At Chattanooga Using Simple Network Management Protocol, Ghasem Shojaie

Masters Theses and Doctoral Dissertations

This research is an attempt to develop a general purpose network management tool, using the Simple Network Management Protocol, for the University of Tennessee at Chattanooga (UTC). This tool is intended to be a non vendor specific application that runs on very low cost hardware, yet provides the primary functions one needs to monitor the health of network devices such as routers and bridges. The Simple Network Management Protocol was chosen because it is an industry standard. It has fewer operators than other network management protocols; therefore, it is simpler to implement. Because of the type of network that is …

Global Committability In Multidatabase Systems, O. Bukhres, Ahmed K. Elmagarmid, J. Jing, W. Kim, A. Zhang

Department of Computer Science Technical Reports

No abstract provided.

A Geometric Constraint Solver, William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige

Department of Computer Science Technical Reports

No abstract provided.

Optimizing Communication Routing In Parallel Computer Architectures, Nikolaos T. Liolios

Masters Theses

This thesis is a research effort to improve on existing algorithms for processor placement and routing on hypercube and 2d-transputer parallel architectures that perform communications through message propagation. Given a set of processors N, randomly distributed on the parallel computer network, the problem is to find an optimal communication routing that minimizes the number of required links and intermediate processors. It was concluded that the spanning tree is the best starting heuristic for the routing problem. For hypercubes an algorithm was developed that outperforms all algorithms in the literature. For 2d-transputers the method of overlap maximization used in VLSI routing, …

Parallel Algorithm Fundamentals And Analysis, Bruce M. Mcmillin, Hanan Lutfiyya, Grace Tsai, Jun-Lin Liu

Computer Science Technical Reports

This session explores, through the use of formal methods, the “intuition” used in creating a parallel algorithm design and realizing this design on distributed memory hardware. The algorithm class NC and the LSTM machine are used to show why some algorithms realize their promise of speedup better than others and the algorithm class NP is used to show why other algorithms will never be good for parallelization. Performance and correctness through cooperative axiomatic reasoning and temporal reasoning provide an additional basis for understanding parallel algorithm design and specification. Finally, the realities of algorithm design are presented through partitioning and mapping …

Parallel Algorithm Fundamentals And Analysis, Bruce M. Mcmillin, Hanan Lutfiyya, Grace Tsai, Jun-Lin Liu

Computer Science Technical Reports

This session explores, through the use of formal methods, the “intuition” used in creating a parallel algorithm design and realizing this design on distributed memory hardware. The algorithm class NG and the LSTM machine are used to show why some algorithms realize their promise of speedup better than others and the algorithm class NP is used to show why other algorithms will never be good for parallelization. The realities of algorithm design are presented through partitioning and mapping issues and models. Finally, correctness through cooperative axiomatic reasoning provides an additional basis for understanding parallel algorithm design and specification and is …

X.500 Directory Service Support For Electronic Mail, Mihai G. Sirbu, Fikret ErçAl

Computer Science Technical Reports

One of the difficult problems on the Internet is finding the electronic mail addresses of users. In practice, there are some indirect ways of finding these addresses such as the finger program in UNIX, but almost all of these methods require the user to know the exact host name of the destination. What is most desirable is an automated mechanism which provides the e-mail addresses of users if some minimal information about the destination site is known.

This thesis describes the design of such a directory service support system, based on the X.500 Series of CCITT Recommendation, for the elm …

On Object Semantic Similarity In Heterogeneous Database Integration, Xiangning Lui, Omran A. Bukhres

Department of Computer Science Technical Reports

No abstract provided.

A Framework For Flexible Transaction Management In Multidatabase Systems, Aidong Zhang, Omran Bukhres, Ahmed Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.

Policy And Procedures Manual: Department Of Computer Sciences, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

A Taxonomic And Analytical Survey Of Multidatabase Systems, Tony Schaller, Omran A. Bukhres, Jiansan Chen, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.

Academic Programs In Computational Science And Engineering, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

The Integration Of Database Systems, Tony Schaller, Omran A. Bukhres, Ahmed K. Elmagarmid, Xiangning Liu

Department of Computer Science Technical Reports

No abstract provided.