{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:13:26Z","timestamp":1729620806541,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/memcod.2012.6292301","type":"proceedings-article","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T19:45:06Z","timestamp":1347306306000},"page":"65-74","source":"Crossref","is-referenced-by-count":1,"title":["Polynomial datapath synthesis and optimization based on vanishing polynomial over Z<inf>2<\/inf><sup>m<\/sup> and algebraic techniques"],"prefix":"10.1109","author":[{"given":"Samaneh","family":"Ghandali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Alizadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zainalabedin","family":"Navabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","first-page":"1154","article-title":"Application of symbolic computer algebra in high-level data-flow synthesis","volume":"22","author":"peymandoust","year":"2003","journal-title":"IEEE TCAD"},{"key":"18","first-page":"3","article-title":"Mibench: A free, commercially representative embedded benchmark suite","author":"guthaus","year":"0","journal-title":"Proc IEEE 4th Annu Workshop Workload Characterizat 2001"},{"journal-title":"Savitzky-Golay Filters for 2D Images","year":"0","author":"krumm","key":"15"},{"journal-title":"Polynomial Signal Processing","year":"2000","author":"mathews","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"2012","DOI":"10.1109\/TCAD.2006.875712","article-title":"Optimizing polynomial expressions by algebraic factorization and common subexpression elimination","volume":"25","author":"hosangadi","year":"2006","journal-title":"IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems"},{"journal-title":"Singular","year":"0","key":"14"},{"key":"11","first-page":"79","article-title":"A function in number theory","volume":"17","author":"smarandache","year":"1980","journal-title":"Analele Univ Timisoara"},{"journal-title":"Synthesis and Optimization of Digital Circuits","year":"1994","author":"demicheli","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5654279"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687536"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630151"},{"key":"10","first-page":"232","article-title":"Question nr. 288","volume":"3","author":"lucas","year":"1883","journal-title":"Mathesis"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(95)00305-G"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090892"},{"key":"5","first-page":"22","article-title":"Modular-HED: A Canonical Decision Diagram for Modular Equivalence Verification of Polynomial Functions","author":"alizadeh","year":"2008","journal-title":"fifth Workshop on Constraints in Formal Verification (CFV)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2059271"},{"journal-title":"Graphes et Hypergraphes","year":"1970","author":"berge","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(93)E0162-W"}],"event":{"name":"2012 10th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012)","start":{"date-parts":[[2012,7,16]]},"location":"Arlington, VA, USA","end":{"date-parts":[[2012,7,17]]}},"container-title":["Tenth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6287679\/6292291\/06292301.pdf?arnumber=6292301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T23:58:59Z","timestamp":1498003139000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6292301\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/memcod.2012.6292301","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}