{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T09:04:25Z”，“时间戳”：1725440665948}，“引用计数”：10，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-打印“：{”日期部分“：[[2009,7]]}，”DOI“：“10.1109\/memcod.2009.5185378”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T19:09:22Z”，“timestamp”：1250017762000}，“page”：”56-65“，“source”：《Crossref》，“is-referenced-by-count”：2，“title”：[“具有验证功能的有限位宽度上整数乘数的高级优化”]，“prefix”：“10.1109”，“作者”：[{“给定”：“O.”，“家族”：“Sarbishei”，“序列”：“第一个”，“从属关系”：[]}，{“给出”：“M.”，”家族“：”Tabandeh“，”序列“：”additional“，”affiliation“：[]{，”给定“：”B.“，”家族，“从属关系”：[]}]，“成员”：“263”，“引用”：[{“journal-title”：“IEEE第四届工作负载表征年度研讨会”，“article-title“：“mibench:一个免费的、具有商业代表性的嵌入式基准套件”，“year”：“2001”，“author”：“guthaus”，“key”：“3”}，{“key“：”2“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ISCAS.2004.1329374”}：“10.1145\/1629911.1630151”}，{“key”：“1”，“first-page”：“41”，“article-title”：“fpgas上的余数优化算法”，“author”：“fu”，“year”：“2008”，“journal-title“：”Proc IEEE Int Conf Field-Programmable Technology（ICFPT）“}，}”key“：“7”，“首页”：“1139”，“article-tiple”：”fpgas的rns电路的知识产权保护“，”author“：“parrilla”，“年份”：“2004”，“新闻标题”：“Proc FPL”}，{“key”：“6”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MWSCAS.2002.1187123”}剩余数系统”，“作者”：“查尔斯”，“年份”：“2003”，“新闻标题”：“Proc Euromicro Symp Digital Systems Design”}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109 \/TSP.2002.1011216”}：“2009年第七届IEEE \/ACM协同设计形式方法和模型国际会议（MEMOCODE）”，“开始”：{“date-parts”：[[2009,7,13]]}，“位置”：“美国马萨诸塞州剑桥”，“结束”：{-“date-ports”：[2009,7，15]}}，”container-title“：[”2009年第7届IEEE\/ACM国际协同设计形式化方法和模型会议“]，“原始标题”：[]，“链接”：[{“URL”：“http://explorestaging.ieee.org/ielx5\/5173407\/5185370\/051885378.pdf？arnumber=5185378”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2017,3,17]，“日期时间”：“2017-03-17T20:52:17Z”，“时间戳”：1489783937000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/ieeexplore.iee.org\/document\/5185378\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2009,7]]}，”引用计数“：10，”URL“：”http://\/dx.doi.org\/10.109\/memcod.2009.5185378“，”关系“：{}”，“主题”：[]]，“发布”：}“日期–部件”：[2009,7]}}}