Now showing items 31-40 of 77
Floyd : a functional programming language with distributed scope
(Georgia Institute of Technology, 1998)
Efficient time representation in distributed systems
(Georgia Institute of Technology, 1995)
Analysis and Design of Vehicular Networks
(Georgia Institute of Technology, 2005-11-18)
Advances in computing and wireless communication technologies have increased interest in smart vehicles, vehicles equipped with significant computing, communication and sensing capabilities to provide services to travelers. ...
Multi-tree Monte Carlo methods for fast, scalable machine learning
(Georgia Institute of Technology, 2009-01-09)
As modern applications of machine learning and data mining are forced to deal with ever more massive quantities of data, practitioners quickly run into difficulty with the scalability of even the most basic and fundamental ...
Automatically Proving the Termination of Functional Programs
(Georgia Institute of Technology, 2007-08-27)
Establishing the termination of programs is a fundamental problem in the field of software verification. For transformational programs, termination is used to extend partial correctness to total correctness. For reactive ...
Tangent-ball techniques for shape processing
(Georgia Institute of Technology, 2009-11-10)
Shape processing defines a set of theoretical and algorithmic tools for creating, measuring and modifying digital representations of shapes. Such tools are of paramount importance to many disciplines of computer graphics, ...
Tuned and asynchronous stencil kernels for CPU/GPU systems
(Georgia Institute of Technology, 2009-05-18)
We describe heterogeneous multi-CPU and multi-GPU implementations of Jacobi's iterative method for the 2-D Poisson equation on a structured grid, in both single- and double-precision. Properly tuned, our best implementation ...
Extensions of principal components analysis
(Georgia Institute of Technology, 2009-06-29)
Principal Components Analysis is a standard tool in data analysis, widely used in data-rich fields such as computer vision, data mining, bioinformatics, and econometrics. For a set of vectors in n dimensions and a natural ...
Algorithms for budgeted auctions and multi-agent covering problems
(Georgia Institute of Technology, 2009-07-07)
In this thesis, we do an algorithmic study of optimization problems in budgeted auctions, and some well known covering problems in the multi-agent setting. We give new results for the design of approximation algorithms, ...
Prediction of secondary structures for large RNA molecules
(Georgia Institute of Technology, 2009-01-12)
The prediction of correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that accurate calculations scale as O(n⁴), so the ...