• Improved algorithms and hardware designs for division by convergence 

    Kong, Inwook (2010-06-21)
    This dissertation focuses on improving the division-by-convergence algorithm. While the division by convergence algorithm has many advantages, it has some drawbacks, such as a need for extra bits in the multiplier and a ...
  • Transparent replication 

    Nayate, Amol Pramod (2008-08-28)
    Not available
  • Verification of sequential and concurrent libraries 

    Deshmukh, Jyotirmoy Vinay (2011-08-02)
    The goal of this dissertation is to present new and improved techniques for fully automatic verification of sequential and concurrent software libraries. In most cases, automatic software verification is plagued by ...