Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors S Gopalakrishnan, P Kalla, MB Meredith, F Enescu 2007 IEEE/ACM International Conference on Computer-Aided Design, 143-148, 2007 | 22 | 2007 |
Simulation bounds for equivalence verification of polynomial datapaths using finite ring algebra N Shekhar, P Kalla, MB Meredith, F Enescu IEEE transactions on very large scale integration (VLSI) systems 16 (4), 376-387, 2008 | 9 | 2008 |
Simulation bounds for equivalence verification of arithmetic datapaths with finite word-length operands N Shekhar, P Kalla, MB Meredith, F Enescu 2006 Formal Methods in Computer Aided Design, 179-186, 2006 | 4 | 2006 |
Polynomial Functions over Rings of Residue Classes of Integers MB Meredith | 1 | 2007 |
Tracking with Dynamic Bayesian Networks MB Meredith Retrived 10, 2007, 2005 | 1 | 2005 |
Mirror Symmetry on Toric Surfaces via Tropical Geometry MB Meredith University of California, San Diego, 2013 | | 2013 |