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

Proceedings. Design Automation Conference最新文献

筛选
英文 中文
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware 使用硬件的指令级抽象对soc中并发固件进行正式安全验证
Proceedings. Design Automation Conference Pub Date : 2018-06-01 DOI: 10.1109/DAC.2018.8465794
Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, S. Malik
{"title":"Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware","authors":"Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, S. Malik","doi":"10.1109/DAC.2018.8465794","DOIUrl":"https://doi.org/10.1109/DAC.2018.8465794","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"159 1","pages":"91:1-91:6"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75968341","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}
引用次数: 2
Accurate processor-level wirelength distribution model for technology pathfinding using a modernized interpretation of rent's rule 精确的处理器级无线分布模型，用于技术寻路，使用现代化的rent's规则解释
Proceedings. Design Automation Conference Pub Date : 2018-06-01 DOI: 10.1109/DAC.2018.8465803
D. Prasad, S. Sinha, B. Cline, S. Moore, A. Naeemi
{"title":"Accurate processor-level wirelength distribution model for technology pathfinding using a modernized interpretation of rent's rule","authors":"D. Prasad, S. Sinha, B. Cline, S. Moore, A. Naeemi","doi":"10.1109/DAC.2018.8465803","DOIUrl":"https://doi.org/10.1109/DAC.2018.8465803","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"83 6 1","pages":"28:1-28:6"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79663653","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
Packet pump: overcoming network bottleneck in on-chip interconnects for GPGPUs 包泵:解决gpgpu片上互连的网络瓶颈
Proceedings. Design Automation Conference Pub Date : 2018-06-01 DOI: 10.1109/DAC.2018.8465889
Xianwei Cheng, Yang Zhao, Hui Zhao, Yuan Xie
{"title":"Packet pump: overcoming network bottleneck in on-chip interconnects for GPGPUs","authors":"Xianwei Cheng, Yang Zhao, Hui Zhao, Yuan Xie","doi":"10.1109/DAC.2018.8465889","DOIUrl":"https://doi.org/10.1109/DAC.2018.8465889","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"46 1","pages":"84:1-84:6"},"PeriodicalIF":0.0,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88988648","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
Basejump STL: systemverilog needs a standard template library for hardware design systemverilog需要一个用于硬件设计的标准模板库
Proceedings. Design Automation Conference Pub Date : 2018-01-01 DOI: 10.1109/DAC.2018.8465909
M. Taylor
{"title":"Basejump STL: systemverilog needs a standard template library for hardware design","authors":"M. Taylor","doi":"10.1109/DAC.2018.8465909","DOIUrl":"https://doi.org/10.1109/DAC.2018.8465909","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"233 1","pages":"73:1-73:6"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76455954","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}
引用次数: 19
Simulation and Design Optimization of a Tall-Form Spray Dryer 高形喷雾干燥机的仿真与设计优化
Proceedings. Design Automation Conference Pub Date : 2017-08-06 DOI: 10.1115/DETC2017-67372
Joanna Tess Masilungan-Manuel, A. Soriano, M. Manuel, P. Lin
{"title":"Simulation and Design Optimization of a Tall-Form Spray Dryer","authors":"Joanna Tess Masilungan-Manuel, A. Soriano, M. Manuel, P. Lin","doi":"10.1115/DETC2017-67372","DOIUrl":"https://doi.org/10.1115/DETC2017-67372","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"31 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91396976","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
Computational Modeling and Field Evaluation of an Innovative Solar Updraft Aeration System for Aquaculture in the Developing World 发展中国家水产养殖创新太阳能上升气流曝气系统的计算建模和现场评估
Proceedings. Design Automation Conference Pub Date : 2016-08-21 DOI: 10.1115/DETC2016-59572
Shakya Sur, A. Mahmoud, A. E. Khabbazi, E. Pavlov, A. Bilton
{"title":"Computational Modeling and Field Evaluation of an Innovative Solar Updraft Aeration System for Aquaculture in the Developing World","authors":"Shakya Sur, A. Mahmoud, A. E. Khabbazi, E. Pavlov, A. Bilton","doi":"10.1115/DETC2016-59572","DOIUrl":"https://doi.org/10.1115/DETC2016-59572","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2016-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91397532","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}
引用次数: 1
Machine Learning and Metamodel-Based Design Optimization of Nonlinear Multimaterial Structures 非线性多材料结构的机器学习与元模型优化设计
Proceedings. Design Automation Conference Pub Date : 2016-08-01 DOI: 10.1115/DETC2016-60471
Kai Liu, D. Detwiler, A. Tovar
{"title":"Machine Learning and Metamodel-Based Design Optimization of Nonlinear Multimaterial Structures","authors":"Kai Liu, D. Detwiler, A. Tovar","doi":"10.1115/DETC2016-60471","DOIUrl":"https://doi.org/10.1115/DETC2016-60471","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91397897","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
Invited - Can IoT be secured: emerging challenges in connecting the unconnected 邀请-物联网是否安全:连接未连接的新挑战
Proceedings. Design Automation Conference Pub Date : 2016-06-05 DOI: 10.1145/2897937.2905004
Nancy Cam-Winget, A. Sadeghi, Yier Jin
{"title":"Invited - Can IoT be secured: emerging challenges in connecting the unconnected","authors":"Nancy Cam-Winget, A. Sadeghi, Yier Jin","doi":"10.1145/2897937.2905004","DOIUrl":"https://doi.org/10.1145/2897937.2905004","url":null,"abstract":"","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"46 1","pages":"122:1-122:6"},"PeriodicalIF":0.0,"publicationDate":"2016-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85702205","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}
引用次数: 3
Proceedings - Design Automation Conference 会议记录-设计自动化会议
Proceedings. Design Automation Conference Pub Date : 2015-07-24 DOI: 10.1145/2744769.2744898
Zhiheng Wang, N. Saraf, K. Bazargan, A. Scheel
{"title":"Proceedings - Design Automation Conference","authors":"Zhiheng Wang, N. Saraf, K. Bazargan, A. Scheel","doi":"10.1145/2744769.2744898","DOIUrl":"https://doi.org/10.1145/2744769.2744898","url":null,"abstract":"Stochastic Computing (SC) is a digital computation approach that operates on random bit streams to perform complex tasks with much smaller hardware footprints compared to conventional approaches that employ binary radix. For stochastic logic to work, the input random bit streams have to be independent, which is a challenge when implementing systems with feedback: outputs that are generated based on input bit streams would be correlated to those streams and cannot be readily combined as inputs to stochastic logic for another iteration of the function. We propose re-randomization techniques for stochastic computing and use the Logistic Map x → r x(1-x) as a case study for dynamical systems in general. We show that complex behaviors such as period-doubling and chaos do indeed occur in digital logic with only a few gates operating on a few 0's and 1's. We employ a number of techniques such as random number generator sharing and using table-lookup pre-computations to significantly reduce the total energy of the computation. Compared to the conventional binary approach, we achieve between 8% and 25% energy consumption.","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"78 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74091091","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}
引用次数: 2
Thermal Implications of On-Chip Voltage Regulation: Upcoming Challenges and Possible Solutions 片上电压调节的热影响:即将到来的挑战和可能的解决方案
Proceedings. Design Automation Conference Pub Date : 2014-06-01 DOI: 10.1145/2593069.2593231
S. Kose
{"title":"Thermal Implications of On-Chip Voltage Regulation: Upcoming Challenges and Possible Solutions","authors":"S. Kose","doi":"10.1145/2593069.2593231","DOIUrl":"https://doi.org/10.1145/2593069.2593231","url":null,"abstract":"The primary objective of this paper is to investigate and evaluate the thermal implications of high power density on-chip voltage regulators. This paper is a first attempt to highlight the importance of the number, size, and location of on-chip voltage regulators on the thermal hotspots and thermal gradient. The physical location of on-chip voltage regulators is explored to distribute the hotspot locations and achieve spatial low pass filtering of the hotspots. A new thermal-aware physical design and power management technique are proposed to spatially and temporally distribute the hotspot locations over the cooler areas within an integrated circuit. The proposed technique eliminates the thermal gradient due to on-chip voltage regulators without any performance loss.","PeriodicalId":87346,"journal":{"name":"Proceedings. Design Automation Conference","volume":"47 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91539849","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}
引用次数: 16
首页 上一页 下一页 尾页
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学术官方微信