All Publications
-
Self Adapting Numerical Software SANS Effort
, June 2005, ut-cs-05-554.pdf -
Conjugate-Gradient Eigenvalue Solvers in Computing Electronic Properties of Nanostructure Architectures
, June 2005, ut-cs-05-559.pdf -
Safe Controller - An Application of Sequence-Based Specification
, June 2005, ut-cs-05-555.pdf -
Specifying A Software Module by Enumeration, and Transformations to and from Other Formal Representations
, June 2005, ut-cs-05-556.pdf -
On the Relative Efficiency of Maximal Clique Enumeration Algorithms, with Application to High-Throughput Computational Biology
, June 2005, ut-cs-05-557.pdf -
Fast, Effective Vertex Cover Kernelization: A Tale of Two Algorithms
, June 2005, ut-cs-05-558.pdf -
Consciousness in Robots
, May 2005, ut-cs-05-553.pdf -
Algorithm-Based Checkpoint-Free Fault Tolerance for Parallel Matrix Computations on Volatile Resources
, April 2005, ut-cs-05-561.pdf