 IDEALS Home
 →
 Browse by Subject
Browse by Subject "Computer Science"
Now showing items 341360 of 1260

application/pdf
PDF (3MB) 
(200903)The popularity of XML has exacerbated the need for an easytouse, high precision query interface for XML data. When traditional documentoriented keyword search techniques do not suffice, natural language interfaces and ...
application/pdf
PDF (553kB) 
(1993)The purposes of this study were to evaluate the effectiveness of programming instruction on students' problemsolving abilities, and to explore whether a logic programming or a procedural programming environment results ...
application/pdf
PDF (7MB) 
(1994)In this dissertation, efficient algorithms for the study of waveguiding and scattering from dielectric structures are studied. The focus of this discourse is on the computational aspects rather than electromagnetic theory, ...
application/pdf
PDF (5MB) 
(2006)In the second part, we focus on mesh deformation algorithms. To avoid expensive numerical solvers using factorization techniques, a fast multigrid algorithm is developed. The key observation here is that reasonable results ...
application/pdf
PDF (4MB) 
(2005)We then consider the problem of fair endtoend resource allocation in wireless networks. First, we consider the problem of allocating resources (time slots, frequency, power, etc.) at a base station to many competing ...
application/pdf
PDF (4MB) 
(200903)The SarbanesOxley Act inspired research on longterm highintegrity retention of business records, based on the longterm immutability guarantees that WORM storage servers offer for files. Researchers recently proposed a ...
application/pdf
PDF (455kB) 
Efficient Bayesian Network Inference: Genetic Algorithms, Stochastic Local Search, and Abstraction (1999)Two major research results are presented that relate to creating hard synthetic Bayesian networks for empirical research on inference algorithms. One method translates deceptive problems studied in genetic algorithms to a ...
application/pdf
PDF (10MB) 
(1992)An independence system consists of a ground set and a collection of subsets of the ground set called independent sets with the property that any subset of an independent set is independent. We study the problem of computing ...
application/pdf
PDF (8MB) 
(1994)Program analysis is critical to many software engineering tools. However, modern programming languages make use of a number of constructs that greatly complicate dataflow analyses, for example, unrestricted pointers, ...
application/pdf
PDF (5MB) 
(2007)While the previous two directions reduce integration costs by improving the performance of automatic tools (either by improvements to the tool itself, or by leveraging users to boost tool accuracy), the last direction ...
application/pdf
PDF (4MB) 
(1999)Our experiments with all proposed approaches on IBM SP2s, using the Panda parallel I/O library as a testbed, show that our strategies significantly reduce the I/O time required for the checkpoint and snapshot operations ...
application/pdf
PDF (7MB) 
(2008)Given the cost of physically modifying the backbone, as well as the relatively slow speed at which core architectures change compared to higher layers, it is important to be able to optimize the network using soft solutions ...
application/pdf
PDF (2MB) 
(1989)The directmethod circuit simulation technique solves the entire system at every iteration and thus avoids the problem of slow convergence or even nonconvergence, which could occur when relaxationbased techniques are ...
application/pdf
PDF (7MB) 
(1998)We address the issue of transforming multiphase designs, a popular industry practice to equivalent onephase designs to enable the application of the current equivalence checking techniques. We propose an algorithm to ...
application/pdf
PDF (4MB) 
(2007)This thesis examines the feasibility of deploying tightlycoupled parallel applications in Grid computing environments. A desired outcome of this work is the capability of delivering application performance in a Grid ...
application/pdf
PDF (4MB) 
(2007)We implemented Delta Execution in two model checkers, JPF (Java PathFinder) and BOX (Bounded Object eXploration) to evaluate the effectiveness of this technique in model checkers with different designs. The results show ...
application/pdf
PDF (4MB) 
(200809)Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly nontrivial challenge on monitoring approaches due to the ...
application/pdf
PDF (202kB) 
(1997)The increasing amount of instructionlevel parallelism required to fully utilize high issuerate processors forces the compiler to perform increasingly advanced transformations, many of which require adding extra operations ...
application/pdf
PDF (13MB) 
(1993)The use of index structures can increase the performance of query processing. However, the index structures for standard databases are not suitable for the nonstandard database applications such as geographical applications, ...
application/pdf
PDF (6MB)
Now showing items 341360 of 1260