• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7
  • 2
  • Tagged with
  • 10
  • 10
  • 10
  • 4
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Effects of automated cartographic generalization on linear map features /

Young, John A., January 1991 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Includes bibliographical references (leaves 110-114). Also available via the Internet.
2

Transforming data flow diagrams to software structure using the Yourdon-Constantine methodology

Antonucci, Franco January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
3

The implementation of generators and goal-directed evaluation in Icon.

O'Bagy, Janalee. January 1988 (has links)
Generators and goal-directed evaluation provide a rich programming paradigm when combined with traditional control structures in an imperative language. Icon is a language whose goal-directed evaluation is integrated with traditional control structures. This integration provides powerful mechanisms for formulating many complex programming operations in concise and natural ways. However, generators, goal-directed evaluation, and related control structures introduce implementation problems that do not exist for languages with only conventional expression evaluation. This dissertation presents an implementation model using recursion that serves as a basis for both an interpreter and a compiler. Furthermore, in the case of the compiler, optimizations can be performed to improve the efficiency of Icon programs, mainly by reducing the general evaluation strategy whenever possible. The dissertation describes a compile-time semantic analysis used to gather information about the properties of expressions and how they are used at their lexical sites. The optimizations that can be performed using this information are illustrated in the context of the compiler model described in the dissertation.
4

Layout generation and its application

Nickoloff, Jacob L., January 2007 (has links) (PDF)
Thesis (M.S. in electrical engineering)--Washington State University, August 2007. / Includes bibliographical references (p. 36-38).
5

Evaluation in built-in self-test

Zhang, Shujian 21 August 2017 (has links)
This dissertation addresses two major issues associated with a built-in self-test environment: (1) how to measure whether a given test vector generator is suitable for testing faults with sequential behavior, and (2) how to measure the safety of self-checking circuits. Measuring the two-vector transition capability for a given test vector generator is a key to the selection of the generators for stimulating sequential faults. The dissertation studies general properties for the transitions and presents a novel, comprehensive analysis for the linear feedback shift registers and the linear hybrid cellular automata. As a result, the analysis solves the open problem as to “how to properly separate the inputs when the LHCA-based generator is used for detecting delay faults”. In general, a self-checking circuit has additional hardware redundancy than the original circuit and as a result, the self-checking circuit may have a higher failure rate than the original one. The dissertation proposes a fail-safe evaluation to predict the probability of the circuit not being in the fail-state. Compared with existing evaluation methods, the fail-safe evaluation is more practical because it estimates the safety of the circuit, which is decreasing as time goes on, instead of giving a constant probability measure. Various other results about improving fault coverage for transition delay faults and testing in macro-based combinational circuits are derived as well. / Graduate
6

A Prolog prototype of a module development system

Peak, Marita E. January 1986 (has links)
Call number: LD2668 .T4 1986 P42 / Master of Science / Computing and Information Sciences
7

A module declaration generator

Librers, Joseph January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
8

Cview, a graphical program generator for the C programming language /

Martin, Walter E. January 1988 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1988. / Typescript. Includes bibliographical references (leaves 88-89).
9

Intentional dialogues leveraging intent to enable the effective reuse of content /

Kerr, Christopher M. January 2009 (has links)
Thesis (M.Sc.)--University of Alberta, 2009. / Title from PDF file main screen (viewed on Apr. 1, 2010). A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science, Department of Computing Science, University of Alberta. Includes bibliographical references.
10

Effects of automated cartographic generalization on linear map features

Young, John A. 04 December 2009 (has links)
The process of automated cartographic generalization is critically reviewed, and methods developed for implementation and analysis are discussed. The manner in which automated generalization relates to manual cartographic methods and feature representation is analyzed. It is suggested that the nature of representation of linear features on maps be considered in the analysis of effectiveness of automated generalization. The development of a computer platform for evaluating linear generalization algorithms is described and three studies which make use of the platform are discussed. An analysis of the performance of five simplification algorithms is compared to performance of a random simplification algorithm. It was found that in most cases tested, the five simplification algorithms performed better than random. An analysis of the stability of fractal dimension estimated on simplified lines was conducted and it is suggested that the fractal dimension is a poor guide for linear simplification due the instability in measurement. An examination of the effect of generalization on linear features as represented by contoured topography and paired stream bank lines was performed. Through the use of measurements of slope on contour lines and width on stream lines, it was determined that automated generalization has an effect on linear feature representations. Guidelines for application of linear generalization algorithms are suggested and needs and direction for future research are discussed. / Master of Science

Page generated in 0.1142 seconds