 IDEALS Home
 →
 College of Engineering
 →
 Dept. of Computer Science
 →
 Dissertations and Theses  Computer Science
 →
 Browse Dissertations and Theses  Computer Science by Title
Browse Dissertations and Theses  Computer Science by Title
Now showing items 16851704 of 1841

(20190423)Generative adversarial nets (GANs) and variational autoencoders enable accurate modeling of highdimensional data distributions by forward propagating a sample drawn from a latent space. However, an often overlooked ...
application/pdf
PDF (41MB) 
ThreeDimensional Volume Reconstruction From Fluorescent Confocal Laser Scanning Microscopy Imagery (2006)The broader impact of my work is in providing the algorithms in a form of webenabled tools to the medical community so that medical researchers can minimize laborious and time intensive 3D volume reconstructions using the ...
application/pdf
PDF (5MB) 
(2002)Two problems with application to the analysis and design of algorithms concerning the satisfiability of propositional formulas are investigated. With respect to the first problem, there is great experimental evidence for ...
application/pdf
PDF (3MB) 
(20180703)Any continuous deformation of closed curves on a surface can be decomposed into a finite sequence of local changes on the structure of the curves; we refer to such local operations as homotopy moves. Tightening is the ...
application/pdf
PDF (4MB) 
(20130524)This thesis studies the techniques of tiling optimizations for stencil programs. Traditionally, research on tiling optimizations mainly focuses on tessellating tiling, atomic tiles and regular tile shapes. This thesis ...
application/pdf
PDF (2MB) 
(1998)The purpose of this research is to extend the theory of uncertain reasoning over time through integrated, multistrategy learning. Its focus is on decomposable, concept learning problems for classification of spatiotemporal ...
application/pdf
PDF (8MB) 
(1998)A large number of checkpointbased recovery protocols have been proposed in the literature, however, most of them were never evaluated. The thesis describes the design and implementation of a runtime system for clusters ...
application/pdf
PDF (6MB) 
Timed Decision Table and Its Applications in PreSynthesis and Partial Synthesis of Digital Circuits (1999)The TDT model semantics and transformations have been implemented in a tool called PUMPKIN. Using PUMPKIN a designer can analyze, apply assertions, and restructure HDL code. PUMPKIN has been used on a set of highlevel ...
application/pdf
PDF (6MB) 
(20150416)The ability to embed certain processes in virtual time is very useful to the Linux Kernel. Each process may be directed to advance in virtual time either more quickly or more slowly than actual (real) time. This allows ...
application/pdf
PDF (981kB) 
(20170420)A main mission of safetycritical cyberphysical systems is to guarantee timing correctness. The examples of safety critical systems are avionic, automotive or medical systems in which timing violations could have disastrous ...
application/pdf
PDF (2MB) 
(1999)We address the problem of timing constraint derivation and validation for reactive and realtime embedded systems. We assume that such a system is structured into its tasks, and the structure is modeled using a task graph. ...
application/pdf
PDF (11MB) 
(20100518)Data races are a common type of concurrency bug in parallel programs. An important type of race that has not received much attention is Asymmetric data races. In these races, the state of well tested, correct threads is ...
application/pdf
PDF (951kB) 
(20130203)In many hard realtime avionics systems, more and more features are being added to faster but cheaper hardware. Thus, hardware resources such as computation and network bandwidth are increasingly being shared by multiple ...
application/pdf
PDF (4MB) 
(20120206)Building an automated refactoring tool for a new programming language is an expensive and timeconsuming process. Usually, only a small fraction of the tool's code is devoted to refactoring transformations; most of the ...
application/pdf
PDF (2MB) 
(20120201)Recent advancement in research and technology on virtual environments has significantly escalated users' expectations on this matter. This trend is easily witnessed, for example, by websites like twitter or facebook. ...
application/pdf
PDF (6MB) 
(1983)This thesis contains two parts, each deals with a different subject.
application/pdf
PDF (4MB) 
(1984)The study of algorithm design is of fundamental importance in Computer Science. The study of algorithms includes the study of efficient data structures. This thesis deals with various aspects of combinatorial algorithms ...
application/pdf
PDF (4MB) 
(1986)This thesis is a study of a wide variety of combinatorial optimization problems.
application/pdf
PDF (5MB) 
(1995)This thesis consists of two parts dealing with combinatorial and computational problems in geometry, respectively. In the first part three independent problems are considered: (1) We determine an upper bound $\lfloor ...
application/pdf
PDF (6MB) 
(1989)This thesis studies several topics in theoretical computer science. First, the author shows that $5n4$ is a tight lower bound on the number of edges in the visibility graph of n nonintersecting line segments in the plane.
application/pdf
PDF (6MB)
Now showing items 16851704 of 1841