{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2024,9,8]],“日期时间”:“2024-09-08T15:25:16Z”,“时间戳”:1725809116940},“引用计数”:16,“发布者”:“IEEE”,“内容域”:{“域”:[],“交叉标记限制”:false},”短容器时间“:[]”,“published-print“:{”日期部分“:[[2009,7]]},”DOI“:“10.1109\/memcod.2009.5185393”,“type”:“procesdings-article”,“created”:{“date-parts”:[[2009,8,11]],“date-time”:“2009-08-11T19:09:22Z”,“timestamp”:1250017762000},“page”:”171-180“,“source”:《Crossref》,“is-referenced-by-count”:27,“title”:[“有界数据流网络和不敏感延迟电路”],“prefix”:“10.109”,“volume”:第23“,“作者”:[{“给定”:“Muralidaran”,“family”:“Vijayaraghavan”,“sequence”:“first”,“affiliation”:[]},{“family:”Arvind“,”sequence“:”additional“,”affiliation:[]}],“member”:“263”,“reference”:[{“journal-title”:“private communication”,”year“0”,“author”:“pellauer”,“key”:“15”},}“jornal-title:”WARP“,”article-title“:”资源高效的fpga内容可寻址内存”,“年份”:“2007”,“作者”:“fleming”,“key”:“16”},{“key“:“13”,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/ICCAD.2000.896524”}、{“journal-title”:“Bluespec System Verilog”、“year”:“0”,“密钥”:“14”}“12”,“doi-asserted-by”:“crossref”,“first page”:“1277”,“doi”:“10.1109\/TCAD.2004.833614”,“article-title”:“以操作为中心的硬件描述和合成”,“volume”:“23”,“author”:“hoe”,“year”:“2004”,“journal-title“:”集成电路和系统的计算机辅助设计IEEE Transactions on“},{”key“:”3“,”doi-asserted-by“:”publisher“,”doi“:”10.1145\/337292.337441“}”,{“key”:”“2”,“doi-assert-by”:“publisher”,“DOI”:“10.1145\/642089.642111”},{“key”:“1”,“first page”:”471“,“article-title”:“并行编程简单语言的语义”,“author”:“kahn”,”year“:”1974“,”journal-title“:”Information Processing“74 Proceedings of the IFIP Congress“},”johnal-tittle“:”RAMP Retreat“,”year:“2008”,”author“:”asanovic“,”key“:“10”}、{“密钥”:“”7英寸,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/1344671.1344685”},{“key”:“6”,“doo-asserted-by”:”crossref“,”first page“:”309“,”doi“:”10.1109\/ICCAD.1999.810667“,”article-title“:”纠正-构造延迟不敏感设计的方法”,“author”:“carloni”,“year”:“1999”,“journal-title”:“计算机辅助设计1999年技术论文摘要IEEE \/ACM国际会议”},{“key”:“5”,“doi-asserted-by”:“crossref”,“first page”:”123“,“doi”:“10.1007 \/3-540-48683-6_13”,“article-title”:“延迟不敏感协议”,“author”:“carloni”,“year”:“1999”,“journal-title“:”In Computer aided Verification“},”{“密钥”:“4”,“doi断言者”:“publisher”,“doi”:“10.1109\/43.945302”},{“key”:“9”,“doi断言者”:“publisher”,“doi”:“10.1109\/ICCAD.2007.4397280”},{“期刊标题”:“fpgas上快速紧密耦合分区模拟的快速性能模型”,“首页”:“1”,“年份”:“2008”,“key”:“8”}],“event”:{“name”:“2009年第七届IEEE \/ACM协同设计形式方法和模型国际会议(MEMOCODE)”,“开始”:{“date-parts”:[[2009,7,13]]},“位置”:“美国马萨诸塞州剑桥”,“结束”:{-“date-ports”:[2009,7,15]}},”container-title“:[”2009年第7届IEEE\/ACM国际协同设计形式化方法和模型会议“],“原始标题”:[],“链接”:[{“URL”:“http://\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185393.pdf?arnumber=5185393”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2017,6,18]],“date-time”:”2017-06-18T22:43:27Z“,“timestamp”:1497825807000},“score”:1,“资源”:{“主资源”:}“URL”:“http://\/ieeexplore.iee.org\/document\/5185393\/”}},“副标题”:[],“短标题”:[],“已发布”:{“日期-部件”:[[2009,7]]},”引用计数“:16,”URL“:”http://\/dx.doi.org\/10.109\/memcod.2009.5185393“,”关系“:{}”,“主题”:[]],“发布”:}“日期–部件”:[2009,7]}}}