Index Catalog // ScholarsArchive@OSU

Design and implementation of a HELM user interface

Creator:: Singh, Bopinderjit (Bob), Brown, Carol E., and Lewis, Ted G.
Abstract:: This research paper is limited to the User Interface of the modeling language of HELM (Hierarchical Environment for Linear Modeling). In attempt to better describe the user interface for HELM, some examples and portions of Carol Brown's report are included for ease of reading and a brief overview of the...
Resource Type:: Capstone Project and Technical Report

True-copy token scheme for a distributed database system

Creator:: Minoura, Toshimi, Owicki, Susan S., and Wiederhold, Gio
Abstract:: A concurrency and resiliency control scheme for a distributed database system with replicated data is discussed. The scheme, true-copy token scheme, uses true-copy tokens in order to designate the physical data copies (true copies) that can be identified with the current logical data that are globally unique, and then it...
Resource Type:: Technical Report

Serializability test by pebbling

Creator:: Minoura, Toshimi
Abstract:: An execution of a database system is considered correct if its net effect is as if transactions were executed serially, and such an execution is called serializable. In this short paper we show that the serializability test problem can be reduced to a simple pebbling problem. Our characterization is intuitive...
Resource Type:: Technical Report

Consistent distributed database state maintenance

Creator:: Minoura, Toshimi, Owicki, Susan S., and Wiederhold, Gia
Abstract:: A theory for resiliency control of distributed database systems is developed, and schemes that preserve the consistent global database state in the presence of site crashes and message link failures are discussed. The schemes can at least theoretically be paired with any concurrency control scheme that produces y-serializable executions. Further,...
Resource Type:: Technical Report

Capability-based resiliency control of distributed database systems

Creator:: Minoura, Toshimi and Vidyasankar, K.
Abstract:: It is highly desirable for a distributed database system to achieve logically continuous operation even if some sites or message links fail. In this paper, we describe a scheme that can automatically reconfigure a fully-replicated distributed database system upon subsystem failures. The scheme can tolerate total failures of some sites....
Resource Type:: Technical Report

Multi-level concurrency control of a database system

Creator:: Minoura, Toshimi
Abstract:: A typical database system maintains target data, which contain information useful for users, and access path data, which facilitate faster accesses to target data. Further, most large database systems support concurrent processing of multiple transactions. For a static database system model, where units of concurrency control are not dynamically created...
Resource Type:: Technical Report

Implementation of a distributed commit/termination protocol by communicating Moore machines

Creator:: Minoura, Toshimi
Abstract:: In this short paper, we present an implementation method for a distributed commit/ termination protocol for a distributed database system. The protocol, which handles both commit and termination processing of distributed transactions, is represented by communicating Moore machines. Several advantages of our approach are discussed.
Resource Type:: Technical Report

Program comprehension differences in debugging

Creator:: Nanja, Murthi and Cook, Curtis R.
Abstract:: Many studies have shown that expert programmers are more effective at debugging programs than novice programmers. These studies have suggested that the major reason for this difference is due to the experts' superior comprehension of the program. This paper reports two experiments which investigated expert and novice student programmers program...
Resource Type:: Technical Report

A preliminary investigation of the effects of FORTRAN data declaration and type conversion features on program comprehension

Creator:: Nanja, Murthy and Cook, Curtis R.
Abstract:: FORTRAN permits both explicit and implicit options for both data declaration and type conversion features. This study investigated the effects of explicit and implicit data declaration and type conversion features on a program comprehension task performed by FORTRAN programmers in an introductory programming course. The results indicated that both factors...
Resource Type:: Technical Report

An empirical study of UNIX command abbreviation schemes

Creator:: Nanja, Murthi and Cook, Curtis R.
Abstract:: This study examined the UNIX command abbreviation schemes preferred by expert and novice UNIX programmers. The two parts of the conducted experiment were: subjective rating of UNIX command abbreviations for each of the six abbreviation categories (acronym, combination, contraction, identity, synonym, and truncation); subjects suggested descriptive command names for UNDC...
Resource Type:: Technical Report

ScholarsArchive@OSU

Design and implementation of a HELM user interface

True-copy token scheme for a distributed database system

Serializability test by pebbling

Consistent distributed database state maintenance

Capability-based resiliency control of distributed database systems

Multi-level concurrency control of a database system

Implementation of a distributed commit/termination protocol by communicating Moore machines

Program comprehension differences in debugging

A preliminary investigation of the effects of FORTRAN data declaration and type conversion features on program comprehension

An empirical study of UNIX command abbreviation schemes

Limit your search

Academic Affiliation

Advisor

Commencement Year

Creator

Date

Decade

Degree Field

Degree Level

Degree Name

File Format

Language

Peer Reviewed

Resource Type

Rights Statement

Search Constraints

Search Results

Limit your search