Now showing items 1-3 of 3
Ad hoc distributed simulation: a method for embedded online simulations
(Georgia Institute of Technology, 2013-07-02)
The continual growth of computing power in small devices has motivated the development of novel approaches to optimizing operational systems efficiently and effectively. These optimization problems are often so complex ...
Automated synthesis for program inversion
(Georgia Institute of Technology, 2013-05-20)
We consider the problem of synthesizing program inverses for imperative languages. Our primary motivation comes from optimistic parallel discrete event simulation (OPDES). There, a simulator must process events while ...
Analysis of macromolecular structure through experiment and computation
(Georgia Institute of Technology, 2013-04-08)
This thesis covers a wide variety of projects within the domain of computational structural biology. Structural biology is concerned with the molecular structure of proteins and nucleic acids, and the relationship between ...