Browse Dissertations and Theses - Computer Science by Title

• (1995)
In multiprocessor and distributed real-time systems, scheduling jobs dynamically on processors is likely to achieve better performance. However, analytical and efficient validation methods for determining whether all the ...

application/pdf

PDF (5MB)
• (2006)
We propose an image editing system that decouples feature position from pixel color generation to achieve a morph that preserves texture detail and orientation near the dragged silhouette, synthesized using the original ...

application/pdf

PDF (6MB)
• (2013-05-24)
Cyber-physical systems (CPS) use networked control software to interact with and manipulate the physical world. Examples of cyber-physical systems include smart buildings, power distribution networks, and fleets of autonomous ...

application/pdf

PDF (4MB)
• (2011-01-14)
With the advent of multicores, parallel programming has gained a lot of importance. For parallel programming to be viable for the predicted hundreds of cores per chip, shared memory programming languages and environments ...

application/pdf

PDF (328kB)
• (2017-12-05)
With computers becoming ubiquitous there is an ever growing necessity to ensure that they are programmed to behave correctly. Formal verification is a discipline within computer science that tackles issues related to design ...

application/pdf

PDF (2MB)
• (2008)
Finally, we present incremental state space exploration (ISSE), a technique that aims to provide a speedup in the state space exploration time of evolving simulation models; i.e., simulation models whose code changes from ...

application/pdf

PDF (9MB)
• (2014-09-16)
Computer Networks are complex and prone to bugs. Most existing tools designed to fix these problems run offline and can only fix the problems after they occur. Those tools often run at the timescale of seconds to hours. ...

application/pdf

PDF (691kB)
• (1988)
This thesis concerns several problems concerning vertex connectivity of undirected graphs and presents new bounds and algorithms for these problems.

application/pdf

PDF (5MB)
• (2009)
Multiple Display Environments (MDEs) facilitate collaborative activities that involve the use of electronic task artifacts. Supporting interactions and infrastructures have matured in recent years, allowing researchers ...

application/pdf

PDF (2MB)
• (2006)
We examined the performance of VEER by comparing the existing real-time embedded systems and the migrated and reorganized version of the same systems. The performance overhead of RT-VMM is about 1.7% if self-contained, or ...

application/pdf

PDF (3MB)
• (2014-05-30)
This thesis introduces and examines the chromatic art gallery problem. The chromatic art gallery problem asks for the minimum number of landmark classes required to ensure that every point in an input polygon sees at least ...

application/pdf

PDF (1MB)
• (1991)
One of the challenges for models of cognitive phenomena is the development of efficient and flexible interfaces between low level sensory information and high level processes. For visual processing, researchers have long ...

application/pdf

PDF (5MB)
• (2003)
The availability of affordable computational power and graphics rendering capabilities is enabling the creation of realistic imagery that are widely used today in special effects and animation. New forms of visual media ...

application/pdf

PDF (4MB)
• (1992)
Today scientists are confronted with the problem of understanding and analyzing large masses of numeric scientific data. One solution to this problem is scientific visualization: converting the numeric data into pictures ...

application/pdf

PDF (7MB)
• (1990)
Visual programming techniques have proven successful within limited domains. However, little progress has been made in using graphics to support "real-world" programming. The GRClass system provides a solution by combining ...

application/pdf

PDF (5MB)
• (2017-07-14)
Privacy-preserving statistical databases are designed to provide information about a population while preventing end-users from learning about an individual. Meanwhile, scholars have shown that a sophisticated adversary ...

application/pdf

PDF (2MB)
• (1996)
We present scientific visualization techniques where our goal is to strike a better balance between the qualitative information provided by images and the quantitative measures often sought by scientists. Our particular ...

application/pdf

PDF (6MB)
• (2013-05-24)
Groups are becoming increasingly geographically distributed and consequently, computer mediated group conversations are also becoming increasingly distributed. There has been much research that has focused on visualizations ...

application/pdf

PDF (2MB)
• (2013-08-22)
Communication disorders occur across all age groups of people and often show first signs of appearing in children. These can range from problems in comprehension of speech to expression of speech to the point that it ...

application/pdf

PDF (494kB)
• (1993)
The hexagonal grid consists of vertical columns, and positive and negative diagonal tracks with slopes +30$\sp\circ$ and $-$30$\sp\circ$, respectively. The goal of this thesis research has been to investigate the potential ...

application/pdf

PDF (9MB)