dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Priyank Kalla (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivaram Gopalakrishnan, Priyank Kalla: Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis. DATE 2009: 1452-1457
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivaram Gopalakrishnan, Priyank Kalla: 2009 ACM TODAES best paper award: Optimization of polynomial datapaths using finite ring algebra. ACM Trans. Design Autom. Electr. Syst. 14(4): (2009)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan: Verification of arithmetic datapaths using polynomial function models and congruence solving. ICCAD 2008: 122-128
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivaram Gopalakrishnan, Priyank Kalla, Florian Enescu: Optimization of Arithmetic Datapaths with Finite Word-Length Operands. ASP-DAC 2007: 511-516
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors. ICCAD 2007: 143-148
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivaram Gopalakrishnan, Priyank Kalla: Optimization of polynomial datapaths using finite ring algebra. ACM Trans. Design Autom. Electr. Syst. 12(4): (2007)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNamrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan: Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. ICCAD 2005: 291-296
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNamrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu: Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. ICCD 2005: 215-220

Selection of 8 from 29 records - Priyank Kalla has 17 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page