Browsing Computer Science by Issue Date
Now showing items 61-80 of 1551
-
RMA: A Pattern Based J2EE Development Tool
(University of Waterloo, 2004)The development process for creating J2EE web applications is complex and tedious, and is thus error prone. The quality of a J2EE web application depends on correctness of code as well as the efficiency and flexibility ... -
Ordered Interval Routing Schemes
(University of Waterloo, 2004)An <i>Interval Routing Scheme (IRS)</i> represents the routing tables in a network in a space-efficient way by labeling each vertex with an unique integer address and the outgoing edges at each vertex with disjoint ... -
Virtual Frameworks for Source Migration
(University of Waterloo, 2004)<em>Virtual Frameworks</em> for source migration is a methodology to extract classes and interfaces from one or more frameworks used by an application. After migration, a new set of frameworks called virtual frameworks ... -
AN EMPIRICAL STUDY OF DIFFERENT BRANCHING STRATEGIES FOR CONSTRAINT SATISFACTION PROBLEMS
(University of Waterloo, 2004)Many real life problems can be formulated as constraint satisfaction problems <i>(CSPs)</i>. Backtracking search algorithms are usually employed to solve <i>CSPs</i> and in backtracking search the choice of branching ... -
Cache Design for a Hardware Accelerated Sparse Texture Storage System
(University of Waterloo, 2004)Hardware texture mapping is essential for real-time rendering. Unfortunately the memory bandwidth and latency often bounds performance in current graphics architectures. Bandwidth consumption can be reduced by ... -
Mining Software Repositories to Assist Developers and Support Managers
(University of Waterloo, 2004)This thesis explores mining the evolutionary history of a software system to support software developers and managers in their endeavors to build and maintain complex software systems. We introduce the idea of ... -
Cache-Oblivious Searching and Sorting in Multisets
(University of Waterloo, 2004)We study three problems related to searching and sorting in multisets in the cache-oblivious model: Finding the most frequent element (the mode), duplicate elimination and finally multi-sorting. We are interested in ... -
A Hybrid Symbolic-Numeric Method for Multiple Integration Based on Tensor-Product Series Approximations
(University of Waterloo, 2004)This work presents a new hybrid symbolic-numeric method for fast and accurate evaluation of multiple integrals, effective both in high dimensions and with high accuracy. In two dimensions, the thesis presents an adaptive ... -
A Java Toolkit for Distributed Evaluation of Hypergeometric Series
(University of Waterloo, 2004)Hypergoemetric Series are very important in mathematics and come up regularly when dealing with the precise definitions of constants such as <i>e</i>, π and Apery's constant ς(3). The evaluation of such series ... -
An Architecture For Multi-Agent Systems Operating In Soft Real-Time Environments With Unexpected Events
(University of Waterloo, 2004)In this thesis, we explore the topic of designing an architecture and processing algorithms for a multi-agent system, where agents need to address potential unexpected events in the environment, operating under soft ... -
Comparison of Cylindrical Boundary Pasting Methods
(University of Waterloo, 2004)Surface pasting is an interactive hierarchical modelling technique used to construct surfaces with varying levels of local detail. The concept is similar to that of the physical process of modelling with clay, where ... -
Adaptive Comparison-Based Algorithms for Evaluating Set Queries
(University of Waterloo, 2004)In this thesis we study a problem that arises in answering boolean queries submitted to a search engine. Usually a search engine stores the set of IDs of documents containing each word in a pre-computed sorted order and ... -
Admission Control for Independently-authored Realtime Applications
(University of Waterloo, 2004)This thesis presents the LiquiMedia operating system architecture. LiquiMedia is specialized to schedule multimedia applications. Because they generate output for a human observer, multimedia applications such as ... -
Desired Features and Design Methodologies of Secure Authenticated Key Exchange Protocols in the Public-Key Infrastructure Setting
(University of Waterloo, 2004)The importance of an authenticated key exchange (AKE) protocol has long been known in the field of cryptography. Two of the questions still being asked today are (1) what properties or features does a secure AKE ... -
The Automation of Glycopeptide Discovery in High Throughput MS/MS Data
(University of Waterloo, 2004)Glycosylation, the addition of one or more carbohydrates molecules to a protein, is crucial for many cellular processes. Aberrant glycosylation is a key marker for various diseases such as cancer and rheumatoid arthritis. ... -
Giving Meaning to Macros
(University of Waterloo, 2004)With the prevalence of legacy C/C++ code, issues of readability and maintainability have become increasingly important. When we consider the problem of refactoring or migrating C/C++ code, we see the significant role ... -
Mapping Template Semantics to SMV
(University of Waterloo, 2004)Template semantics is a template-based approach to describing the semantics of model-based notations, where a pre-defined template captures the notations' common semantics, and parameters specify the notations' distinct ... -
An Embedded Shading Language
(University of Waterloo, 2004)Modern graphics accelerators have embedded programmable components in the form of vertex and fragment shading units. Current APIs permit specification of the programs for these components using an assembly-language level ... -
Infinite Sequences and Pattern Avoidance
(University of Waterloo, 2004)The study of combinatorics on words dates back at least to the beginning of the 20th century and the work of Axel Thue. Thue was the first to give an example of an infinite word over a three letter alphabet that contains ... -
Discovering Protein Sequence-Structure Motifs and Two Applications to Structural Prediction
(University of Waterloo, 2004)This thesis investigates the correlations between short protein peptide sequences and local tertiary structures. In particular, it introduces a novel algorithm for partitioning short protein segments into clusters of ...