Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 402 for “"Data Structure"”.
-
Modular data structure verification
… an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my colleagues in a verification system called Jahob. Jahob verifies properties of Java programs with …
-
Cylinders: A Relational Data Structure
Made available in DSpace on 2014-12-08T22:24:50Z (GMT). No. of bitstreams: 1 7021084.pdf: 2708459 bytes, checksum: ccc21de81414e7b035e26f563e201f31 (MD5) Previous issue date: 1970
-
Macroscopic Data Structure Analysis and Optimization
This thesis describes the approach, analysis, and transformation of programs with macroscopic techniques, and evaluates the net performance impact of the transformations. Finally, it describes a large class of potential applications for the work in fields such as heap safety and reliability, …
-
Swan: a data structure visualization system
Swan is a data structure visualization system. Using Swan, a C or C++ program can be annotated to provide multiple views of the data structures used in the program so that they can be better understood by the viewer. Swan allows visualization to be a two-way communication process between the viewer …
-
A Unified Spatial Data Structure for GIS
… "layers" to store different types of spatial data. Each of them contains specific characteristics of the area, so there are separate layers for the distribution of buildings, the road network or the relief of the terrain. The spatial information used in GIS can be grouped into four main …
-
A Generic Data Structure with Parallel Applications
… simulations are built on efficient mesh data structures. Most data structures are designed from the bottom up, focusing on the implementation of linear algebra routines. In this thesis, we explore a top-down approach to design, evaluating the various needs of many aspects of simulation, …
-
Data structure repair using goal-directed reasoning
… hardware faults, and user errors can cause data structures in running applications to become damaged so that they violate key consistency properties. As a result of this violation, the application may produce unacceptable results or even crash. This dissertation presents a new data structure …
-
Intelligent parking management : data structure and movement
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2003.
-
A Generic Mesh Data Structure With Parallel Applications
… simulations are built on efficient mesh data structures. Most data structures are designed from the bottom up, focusing on the implementation of linear algebra routines. In this thesis, we explore a top-down approach to design, evaluating the various needs of many aspects of simulation, …
-
Hidden surface elimination using a topological data structure
In computer graphics, data structures and hidden line/surface elimination are sometimes viewed as two different topics. This thesis presents a data structure designed especially for a hidden surface removal algorithm. In this data structure, the vital structural information of each object is …
-
A data structure for a multi-illumination model renderer.
… illumination and shading models and present a data structure and initial design for a multi-illumination model renderer.
-
Comparison study on sorting techniques in static data structure
To manage and organize large data is imperative in order to formulate the data analysis and data processing efficiency. Thus, to handle large data becomes highly enviable, whilst, it is premised that the sorting techniques eliminate ambiguities with less effort. Therefore, this study investigates …
-
Comparison study of sorting techniques in dynamic data structure
… especially if it is dealing with real-time data processing. Therefore, it is important to study and to compare in details all the available sorting algorithms. In this project, an intensive investigation was conducted on five algorithms, namely, Bubble Sort, Insertion Sort, Selection Sort, …
-
dPool : a distributed data structure for factored operating systems
… this thesis develops the dPool distributed data structure. The dPool data structure provides concurrent access to an unordered collection of elements by server processes within a fos fleet. Internal to a single dPool instance, all communication between different portions of a dPool is done …
-
New data structure and process model for automated watershed delineation
… quantitative aspects of a new Object Oriented data structure and process model for raster format data analysis in spatial hydrology. The concept of incorporating a user-specified analysis in extraction and parameterization of watersheds is based on the need to have a tool to allow for studies …
-
A data structure for interactive graphic manipulation of logic diagrams
This thesis presents a data structure for the interactive editing of logic diagrams by means of a storage graphics terminal. It presents an overview of Computer-Aided Design of digital systems, and outlines the requirements of an interactive graphics system. The use of sequential list, hashing, …
-
Visual topology in SDI: a data structure for modelling landscape perception
… 1 considers the functionality that any Spatial Data Infrastructure would need to encompass in order to support the inclusion of visual analysis into landscape planning and monitoring systems. Section 2 introduces various aspects of visual topology. In particular it sets out how visual …
-
Identification of Data Structure with Machine Learning: From Fisher to Bayesian networks
… theoretical framework to thoroughly analyse the structure of a dataset in terms of a) metric, b) density and c) feature associations. To look into the first aspect, Fisher's metric learning algorithms are the foundations of a novel manifold based on the information and complexity of a …
Page 1 of 21