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

Proceedings of the 18th Panhellenic Conference on Informatics最新文献

筛选
英文 中文
A Floating-Point Paradigm for High-level Synthesis 高级综合的浮点范式
Proceedings of the 18th Panhellenic Conference on Informatics Pub Date : 2014-10-02 DOI: 10.1145/2645791.2645836
Michael F. Dossis
{"title":"A Floating-Point Paradigm for High-level Synthesis","authors":"Michael F. Dossis","doi":"10.1145/2645791.2645836","DOIUrl":"https://doi.org/10.1145/2645791.2645836","url":null,"abstract":"The current difficulty to deliver complex digital integrated circuits (ICs) on time in the market has created the need for formal, fully automated and rapid methods for designing and developing such products. These methods exploit approaches such as compiler technology, High-level Synthesis (HLS) and Electronic System Level (ESL) flows to handle such complexity. Designing custom VLSI hardware units motivate for developing large arithmetic blocks such as floating-point units, using HLS tools. Here, the formal and automated CCC high-level synthesis tools are used in the floating-point paradigm. The CCC tools generate provably-correct floating-point blocks due to the formality of the method, in order to avoid time-consuming RTL and gate-level simulations. The floating-point operations are coded in the ADA programming language and competitive hardware performance is delivered from the rapid CCC compiler experiment, therefore the presented approach is proven useable.","PeriodicalId":402367,"journal":{"name":"Proceedings of the 18th Panhellenic Conference on Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128583949","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
Proceedings of the 18th Panhellenic Conference on Informatics 第18届泛希腊信息学会议论文集
Proceedings of the 18th Panhellenic Conference on Informatics Pub Date : 2013-09-19 DOI: 10.1145/2491845.2491857
P. Ketikidis, Kostas N Margaritis, I. Vlahavas, A. Chatzigeorgiou, G. Eleftherakis, I. Stamelos
{"title":"Proceedings of the 18th Panhellenic Conference on Informatics","authors":"P. Ketikidis, Kostas N Margaritis, I. Vlahavas, A. Chatzigeorgiou, G. Eleftherakis, I. Stamelos","doi":"10.1145/2491845.2491857","DOIUrl":"https://doi.org/10.1145/2491845.2491857","url":null,"abstract":"This volume contains papers presented at the 17th Pan-hellenic Conference on Informatics (PCI 2013), which was held during September 19--21, 2013, in Thessaloniki, Greece. \u0000 \u0000PCI is an event established by the Greek Computer Society. The 1st Conference took place in Athens (1984). Subsequent events took place in Thessaloniki (1988), Athens (1991, 1993, 1995, 1997), Ioannina (1999), Nicosia Cyprus (2001), Thessaloniki (2003), Volos (2005), Patras (2007), Samos (2008), Corfu Island (2009), Tripoli (2010), Kastoria (2011), and Athens (2012). \u0000 \u0000PCI aims to provide an effective channel of communication between decision-makers (government, ministries and state agencies), researchers (universities, research and development centres, start-up centres and incubators), practitioners (SME leaders and managers) and persons concerned with the latest research, scientific development and practice on ICT.","PeriodicalId":402367,"journal":{"name":"Proceedings of the 18th Panhellenic Conference on Informatics","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121858711","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
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书