Search Constraints

Start Over
Filtering by: Creator Welter%2C Stephen C. Remove constraint Creator: Welter%2C Stephen C. Committee Member Bose, Bella Remove constraint Committee Member: Bose, Bella

Search Results

  • AOPS : an abstraction oriented programming system for literate programming

    Creator:
    Shum, Stephen M.
    Abstract:
    The practice of literate programming is not widespread because existing literate programming systems have some undesirable characteristics such as programming language and text processor dependence and lack of flexible tools for viewing and manipulation of the source file. This dissertation describes the literate programming system AOPS (Abstraction Oriented Programming System)...
    Resource Type:
    Dissertation
    Full Text:
    literate programming AN ABSTRACT OF THE THESIS OF Stephen M. Shum for the degree of Doctor of Philosophy

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    Removing intermediate node c from trace in Figure 5.1 . . . . . . . . . . 29 5.3 Hiding node c from trace

  • Information Theoretical Analysis of Self-Similar Trees

    Creator:
    Chunikhina, Evgenia V.
    Abstract:
    Tree-like patterns are ubiquitous in nature. Botanical trees, river networks, and blood systems are the most well-known examples of complex hierarchical systems met in observations. Interestingly, many of such systems exhibit statistical self-similarity. There are two main types of self-similarity: Horton self-similarity and Tokunaga self-similarity. Although there is an increased...
    Resource Type:
    Dissertation
    Full Text:
    the number of vertices of the tree grows to infinity. c©Copyright by Evgenia V. Chunikhina August

  • Data-structure builder for VLSI/CAD software

    Creator:
    Eum, Doo-hun
    Abstract:
    Relational database systems have successfully solved many business data processing problems. The primary reason of this success is that the relational data model provides a simple, yet flexible view of data as tables. In studying VLSI/CAD data, we noticed that they are often represented in formats similar to relational tuples....
    Resource Type:
    Dissertation
    Full Text:
    efficiently manipulated in C. By using our data mapping language, we could reduce the amount of code required

  • Parallax : an implementation of ELGDF (Extended Large Grain Data Flow)

    Creator:
    Kim, Inkyu
    Abstract:
    The major obstacle to widespread parallel programming of multiprocessors is the lack of a convenient parallel programming system. PPSE (Parallel Programming Support Environment) is a unified approach to parallel programming. Parallax is developed as a component of PPSE based on ELGDF which is a graphical language for designing parallel programs....
    Resource Type:
    Capstone Project
    Full Text:
    . Parallax File Format. C. Dialogs for Symbols and Arcs. References 4 List of Figures Figure

  • Implementation of processor allocation in an N-Cube multiprocessor on Macintosh

    Creator:
    Liu, Jinyue
    Abstract:
    The processor allocation in an n-dimensional hypercube multiprocessor using buddy strategy, gray code strategy, and a new strategy is implemented on Macintosh. Our implementations show that when processor relinquishment is not considered (i.e. static allocation), all these strategies are optimal in the sense that each incoming request sequence is always...
    Resource Type:
    Capstone Project
    Full Text:
    Fig.4.8.c Processor allocation using new strategy The results show that all these three strategies

  • ASIC for real time data authentication

    Creator:
    Anjum, Vaseem
    Abstract:
    Authentication is a means of developing an electronic signature that works like a written signature. It assumes that your data is publicly known but nevertheless ensures that the message is not tampered with and that you have an audit trail. This project discusses the techniques and concepts used to design...
    Resource Type:
    Capstone Project
    Full Text:
    B N etlist F onns C Simulation D Timing E Views and plots l. Cipher Block Chaining Mechanism

  • LacEDAemon : a programming environment for the multiparadigm language leda

    Creator:
    Pandey, Rajeev K.
    Abstract:
    Multiparadigm programming languages are a recent development in the realm of programming languages. A multiparadigm programming language allows the use of multiple, differing programming paradigms without departing from a single, unified linguistic framework. Multiparadigm programming languages are claimed to have benefits to both pedagogy and complex application creation. The beneficial...
    Resource Type:
    Dissertation
    Full Text:
    Thomas Kuhn, whose historical ac- count on scienti�c progress The Structure of Scienti�c Revolutions

  • Information theoretic approach to quantization and classification for signal processing, communications, and machine learning applications

    Creator:
    Thuan Nguyen D.
    Abstract:
    There are five main contributions of this dissertation. The first contribution is new closed-form expressions for channel capacity of a new class of channel matrices. The second contribution is the discovery of the structure for optimal binary quantizer and the associated methods for finding an optimal quantizer that maximizes mutual...
    Resource Type:
    Dissertation
    Full Text:
    All Solutions to a∗ = c(a∗) . . . . . . . . 60 3.6 Conclusion

  • Comprehensive support for developing graphical highly interactive user interface systems

    Creator:
    Keh, Huan-chao
    Abstract:
    The general problem of application development of interactive GUI applications has been addressed by toolkits, libraries, user interface management systems, and more recently domain-specific application frameworks. However, the most sophisticated solution offered by frameworks still lacks a number of features which are addressed by this research: 1) limited functionality --...
    Resource Type:
    Dissertation
    Full Text:
    . Translation of Annotated Petri Nets into Application Framework Based C++ Program 123 6.1. Introduction 123