Follow

Theses/Dissertations from 1990

PDF

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

PDF

Efficient processing of hierarchical graphs , Mark Allen Williams

Theses/Dissertations from 1989

PDF

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

Theses/Dissertations from 1988

PDF

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

PDF

A VLSI architecture for enhancing software reliability , Kanad Ghose

PDF

Agreement graphs and data dependencies , John H. Leuchner

PDF

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

PDF

Indefinite and maybe information in deductive relational databases , Rajshekhar Sunderraman

Theses/Dissertations from 1987

PDF

On the structure of intractable sets , John George Geske

PDF

Combinators as control mechansims in multiprocessor systems , Deborah Lee Knox

PDF

Routing issues for dynamic networks , Ta Wen Lin

PDF

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

PDF

OI and IO multidimensional forest languages , Annette Virginia Dittmer Schoenberger

Theses/Dissertations from 1986

PDF

Intercalation properties of context-free languages , Rattikorn Boonyavatana

Theses/Dissertations from 1985

PDF

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

PDF

The multidimensional forest languages , Thomas Eugene O'Neil

Theses/Dissertations from 1984

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1983

PDF

Hypertrees: a study in language specification , William Allen Baldwin

Theses/Dissertations from 1982

PDF

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

PDF

Data structure implementation and correctness , Mahmoud Parsian

Theses/Dissertations from 1981

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1980

PDF

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

Theses/Dissertations from 1979

PDF

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

PDF

Factors affecting computer program comprehension , John Peter Boysen

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1978

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1977

PDF

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

Theses/Dissertations from 1976

PDF

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

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1975

PDF

Determining nonlinear projection subspaces , Dennis Daniel Georg

PDF

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

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1974

PDF

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

PDF

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

PDF

Deadline scheduling in a multiprogrammed computer environment , John Raleigh Jordan

PDF

The META-T Compiler-Compiler , Anthony Peter Lucido

PDF

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

Theses/Dissertations from 1973

PDF

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

Theses/Dissertations from 1972

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Theses/Dissertations from 1971

PDF

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

PDF

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

PDF

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

PDF

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

PDF

An experimental compiler-compiler system , James Robert Van Doren

PDF

On context resolvable grammars , Fred John Zamecnik Jr.

Theses/Dissertations from 1970

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Computerized simulation for teaching experimental design , Rex Allan Thomas

PDF

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

Theses/Dissertations from 1969

PDF

Inbreeding in small populations of fowl undergoing selection , Hubert Tolman