#### Theses/Dissertations from 1990

Multilevel security and concurrency control for distributed computer systems , Samir Moukaddam

Efficient processing of hierarchical graphs , Mark Allen Williams

#### Theses/Dissertations from 1989

A 2-dimensional temporal relational database model for querying errors and updates, and for achieving zero information-loss , Gautam Bhargava

#### Theses/Dissertations from 1988

An intelligent feature extractor for ultrasonic signals, Ken E. Christensen

A VLSI architecture for enhancing software reliability , Kanad Ghose

Agreement graphs and data dependencies , John H. Leuchner

The complexity of two finite-state models, optimizing transducers and counting automata , Craig Alan Rich

Indefinite and maybe information in deductive relational databases , Rajshekhar Sunderraman

#### Theses/Dissertations from 1987

On the structure of intractable sets , John George Geske

Combinators as control mechansims in multiprocessor systems , Deborah Lee Knox

Routing issues for dynamic networks , Ta Wen Lin

Highly-structured software for network systems and its protection , Masaaki Mizuno

OI and IO multidimensional forest languages , Annette Virginia Dittmer Schoenberger

#### Theses/Dissertations from 1986

Intercalation properties of context-free languages , Rattikorn Boonyavatana

#### Theses/Dissertations from 1985

A quantitative charcterization of control flow context: software measures for programming environments , James William Howatt

The multidimensional forest languages , Thomas Eugene O'Neil

#### Theses/Dissertations from 1984

A systems approach to synchronization and naming in a distributed computing environment , James Arthur Davis

Open predicate path expressions for distributed environments: notation, implementation, and extensions , Mark Roger Headington

A categorization scheme for concurrency control protocols in distributed databases , Yunyong Teng-amnuay

#### Theses/Dissertations from 1983

Hypertrees: a study in language specification , William Allen Baldwin

#### Theses/Dissertations from 1982

FCL: a purely functional language for data-flow programming , Peter Michael Maurer

Data structure implementation and correctness , Mahmoud Parsian

#### Theses/Dissertations from 1981

Idiom matching: an optimization technique for an APL compiler , Feng Sheng Cheng

Analysis and improvement of a multi-pass compiler for a pipeline architecture , Wei-Ju Chen

Petri net models of program execution in data flow environments , Steven Fletcher Jennings

A study of sampling, granularity and localities in program restructuring , Kwai-Ting Lan

A multiprocessor computer architecture for database support , Roger K. Shultz

#### Theses/Dissertations from 1980

A study of memory references in a data flow environment , Sharilyn Ann Thoreson

#### Theses/Dissertations from 1979

The reduction of data dependencies in high level programs , Stephen J. Allan

Factors affecting computer program comprehension , John Peter Boysen

Toward an optimizing compiler for a very high level language , Walter E. Brown

Information flow metrics for the evaluation of operating systems' structure , Sallie Marie Henry

A comparison of automata-theoretic and algebraic approaches to tree transduction and use of algebraic tree transducers in semantic-preserving translations , Kathryn Yuhas Kwinn

Toward a verification system for the programming language KL-1 using weakest preconditions , Timothy E. Lindquist

Type determination in an optimizing compiler for APL , Robert D. Roeder

Design and evaluation of a reference string sampling method, W. James Wittneben

#### Theses/Dissertations from 1978

Proportion estimation and classification of mixed pixels in multispectral data , Kenneth Ray Crouse

Memory management policies for a hardware implemented computer operating system , William A. Kwinn

Compile time prediction of intrinsic parallelism in high level programs , C. Retnadhas

#### Theses/Dissertations from 1977

Correctness in multi-user hierarchically structured information systems , Alan Francis Sweet

#### Theses/Dissertations from 1976

Name management in the construction of large programs , Patricia Ann Carr

Extensions to a block-structured programming language to support processing of symbolic data and dynamic arrays , Perry Charles Hutchison

Controlled information sharing in the SYMBOL-2R computer system , Hamilton Richards Jr.

A graph model for coordinating systems of tasks , Ralph Kendall White

#### Theses/Dissertations from 1975

Determining nonlinear projection subspaces , Dennis Daniel Georg

Projection-based methods for solving systems of n nonlinear equations in n unknowns , Long Vo Nguyen

A formal analysis of name accessing in programming languages , Carol Lynn Smith

An a priori error analysis for a Picard-Chebyshev solution to an initial value problem , Dennis R. Steele

Some execution-time properties of optimal schedules in multiprocessor systems , Julio Estuardo Villanueva

#### Theses/Dissertations from 1974

A software organization for the control of multiple processes , Jerry Hamilton Campbell

An iterative method for the solution of the algebraic eigenvalue problem for Hermitian matrices , Robert Stephen Conker

Deadline scheduling in a multiprogrammed computer environment , John Raleigh Jordan

The META-T Compiler-Compiler , Anthony Peter Lucido

Algorithms for projection methods for solving linear systems of equations , Roger L. Wainwright

#### Theses/Dissertations from 1973

Design and complete definition of a systems programming language for data communications , Eldon Jerome Niebaum

#### Theses/Dissertations from 1972

TAG: A Terminal for Animated Graphics. Its design and simulation, Wayne Charles Dowling

A language to describe and simulate multiprocessor computer systems , Donald Earl Elliott

Integration of systems of equations in chemical kinetics , Thomas Ernest Michels

Optimal three-dimensional projection method for solving linear algebraic equations , Mok Tokko

An abstract machine to control the execution of semi-independent concurrent computations , Virgil Eugene Wallentine

#### Theses/Dissertations from 1971

Starting approximations for rational fraction least-squares fitting , John Howard Crenshaw

A Generalized Projection method for systems of nonlinear equations , Alexander MacEachern

A compiler generating system for a table driven compiler using automatic language expansion , Philip Mason Mills

A non-stationary two-dimensional acceleration for the one-dimensional projection method , Howard Dean Pyron

An experimental compiler-compiler system , James Robert Van Doren

On context resolvable grammars , Fred John Zamecnik Jr.

#### Theses/Dissertations from 1970

A computer aided instructional system for teaching formal languages , Dennis Keith Branstad

User error analysis and automatic correction for compiling , George Ellwood Hedrick III

A student directed, computer assisted, programming environment , Martha Ann Marks

The use of man-computer interaction in root-finding and numerical problem-solving , Gerald David Ripley

Acceleration of the projection method for solving systems of linear equations , I-Ming Shen

Computerized simulation for teaching experimental design , Rex Allan Thomas

A method for the complete definition of programming languages , Charles Thomas Wright Jr.

#### Theses/Dissertations from 1969

Inbreeding in small populations of fowl undergoing selection , Hubert Tolman