发布求助
文献互助 智能选刊 最新文献

Proceedings of the 48th Design Automation Conference最新文献

筛选
英文 中文
Session details: System verification: is formal the new normal? 会话详细信息:系统验证:是正式的新常态?
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256167
N. Narasimhan
{"title":"Session details: System verification: is formal the new normal?","authors":"N. Narasimhan","doi":"10.1145/3256167","DOIUrl":"https://doi.org/10.1145/3256167","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124094888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Routing revived 会话详细信息:路由恢复
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256152
L. Zhuo
{"title":"Session details: Routing revived","authors":"L. Zhuo","doi":"10.1145/3256152","DOIUrl":"https://doi.org/10.1145/3256152","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133564960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Leakage power optimization 会议详情:泄漏功率优化
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256160
David Garrett
{"title":"Session details: Leakage power optimization","authors":"David Garrett","doi":"10.1145/3256160","DOIUrl":"https://doi.org/10.1145/3256160","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132150088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Advancement in power integrity and circuit reliability 会议细节:电源完整性和电路可靠性的进步
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256173
M. Patyra
{"title":"Session details: Advancement in power integrity and circuit reliability","authors":"M. Patyra","doi":"10.1145/3256173","DOIUrl":"https://doi.org/10.1145/3256173","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124883780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Computing fabrics: cores, LUTs, and molecules 会话详细信息:计算结构:核心，lut和分子
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256175
P. Brisk
{"title":"Session details: Computing fabrics: cores, LUTs, and molecules","authors":"P. Brisk","doi":"10.1145/3256175","DOIUrl":"https://doi.org/10.1145/3256175","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124165740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Design methods and trends for automotive architectures 会议内容:汽车架构的设计方法和趋势
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256145
M. Di Natale, J. Henkel
{"title":"Session details: Design methods and trends for automotive architectures","authors":"M. Di Natale, J. Henkel","doi":"10.1145/3256145","DOIUrl":"https://doi.org/10.1145/3256145","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130203761","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Punctual software: it's about time 会议细节:准时软件:这是关于时间的
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256161
S. Yehia
{"title":"Session details: Punctual software: it's about time","authors":"S. Yehia","doi":"10.1145/3256161","DOIUrl":"https://doi.org/10.1145/3256161","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128884928","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Scaling and security: does more transistors mean more security? 会议细节:扩展和安全性:更多的晶体管是否意味着更高的安全性?
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256163
K. Mai
{"title":"Session details: Scaling and security: does more transistors mean more security?","authors":"K. Mai","doi":"10.1145/3256163","DOIUrl":"https://doi.org/10.1145/3256163","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129282739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: CAD techniques for advanced process technologies 会议细节:先进加工技术的CAD技术
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256174
V. Zolotov
{"title":"Session details: CAD techniques for advanced process technologies","authors":"V. Zolotov","doi":"10.1145/3256174","DOIUrl":"https://doi.org/10.1145/3256174","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129838316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Design and synthesis of biological circuits 会议细节:生物电路的设计和合成
Proceedings of the 48th Design Automation Conference Pub Date : 2011-06-05 DOI: 10.1145/3256150
D. Densmore, M. Horowitz
{"title":"Session details: Design and synthesis of biological circuits","authors":"D. Densmore, M. Horowitz","doi":"10.1145/3256150","DOIUrl":"https://doi.org/10.1145/3256150","url":null,"abstract":"","PeriodicalId":259301,"journal":{"name":"Proceedings of the 48th Design Automation Conference","volume":"358 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122765177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信