This book constitutes the refereed proceedings of the Second International Multi-topic Conference, IMTIC 2012, held in Jamshoro, Pakistan, in March 2012.The 51 revised full papers presented were carefully reviewed and...
详细信息
ISBN:
(数字)9783642289620
ISBN:
(纸本)9783642289613
This book constitutes the refereed proceedings of the Second International Multi-topic Conference, IMTIC 2012, held in Jamshoro, Pakistan, in March 2012.
The 51 revised full papers presented were carefully reviewed and selected from 205 submissions. The papers address topics from information communication technologies.
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Seventh International Conference on Soft Computing and Signal Processing (ICSCSP 2024)...
详细信息
ISBN:
(数字)9789819609246
ISBN:
(纸本)9789819609239
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Seventh International Conference on Soft Computing and Signal Processing (ICSCSP 2024), organized by Malla Reddy College of engineering & Technology, Hyderabad, India. The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms, and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation, and application issues.
This two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th International Conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-2...
详细信息
ISBN:
(数字)9783642402852
ISBN:
(纸本)9783642402845
This two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th International Conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-29, 2013. The 43 revised full papers presented together with 33 short papers, and 3 keynote talks, were carefully reviewed and selected from 174 submissions. These papers discuss a range of topics including: search queries; indexing; discovery of semantics; parallel processing; XML and RDF; enterprise models; query evaluation and optimization; semantic Web; sampling; industrial applications; communities; AI and databases; matching and searching; information extraction; queries, streams, and uncertainty, storage and compression; query processing; security; distributed data processing; metadata modeling and maintenance; pricing and recommending; and security and semantics.
The international multi-topic conference IMTIC 2008 was held in Pakistan during April 11–12, 2008. It was a joint venture between Mehran University, Jamshoro, Sindh and Aalborg University, Esbjerg, Denmark. Apart fro...
详细信息
ISBN:
(数字)9783540898535
ISBN:
(纸本)9783540898528
The international multi-topic conference IMTIC 2008 was held in Pakistan during April 11–12, 2008. It was a joint venture between Mehran University, Jamshoro, Sindh and Aalborg University, Esbjerg, Denmark. Apart from the two-day main event, two workshops were also held: the Workshop on Creating Social Semantic Web 2.0 Information Spaces and the Workshop on Wireless Sensor Networks. Two hundred participants registered for the main conference from 24 countries and 43 papers were presented; the two workshops had overwhelming support and over 400 delegates registered. IMTIC 2008 served as a platform for international scientists and the engineering community in general, and in particular for local scientists and the engineering c- munity to share and cooperate in various fields of interest. The topics presented had a reasonable balance between theory and practice in multidisciplinary topics. The c- ference also had excellent topics covered by the keynote speeches keeping in view the local requirements, which served as a stimulus for students as well as experienced participants. The Program Committee and various other committees were experts in their areas and each paper went through a double-blind peer review process. The c- ference received 135 submissions of which only 46 papers were selected for presen- tion: an acceptance rate of 34%.
The book features selected high-quality papers presented in International Conference on Computing, Power and Communication Technologies 2019 (GUCON 2019), organized by Galgotias University, India, in September 2019. D...
详细信息
ISBN:
(数字)9789811503399
ISBN:
(纸本)9789811503382
The book features selected high-quality papers presented in International Conference on Computing, Power and Communication Technologies 2019 (GUCON 2019), organized by Galgotias University, India, in September 2019. Discussing in detail topics related to electronics devices, circuits and systems; signal processing; and bioinformatics, multimedia and machine learning, the papers in this book provide interesting reading for researchers, engineers, and students.
Traditionally, digital hardware designs are written in the Verilog hardware description language (HDL) and debugged manually by engineers. This can be time-consuming and error-prone for complex designs. Large Language...
详细信息
Traditionally, digital hardware designs are written in the Verilog hardware description language (HDL) and debugged manually by engineers. This can be time-consuming and error-prone for complex designs. Large Language Models (LLMs) are emerging as a potential tool to help generate fully functioning HDL code, but most works have focused on generation in the single-shot capacity: i.e., run and evaluate, a process that does not leverage debugging and, as such, does not adequately reflect a realistic development process. In this work, we evaluate the ability of LLMs to leverage feedback from electronic design automation (EDA) tools to fix mistakes in their own generated Verilog. To accomplish this, we present an open-source, highly customizable framework, AutoChip, which combines conversational LLMs with the output from Verilog compilers and simulations to iteratively generate and repair Verilog. To determine the success of these LLMs we leverage the VerilogEval benchmark set. We evaluate four state-of-the-art conversational LLMs, focusing on readily accessible commercial models. EDA tool feedback proved to be consistently more effective than zero-shot prompting only with GPT-4o, the most computationally complex model we evaluated. In the best case, we observed a 5.8% increase in the number of successful designs with a 34.2% decrease in cost over the best zero-shot results. Mixing smaller models with this larger model at the end of the feedback iterations resulted in equally as much success as with GPT-4o using feedback, but incurred 41.9% lower cost (corresponding to an overall decrease in cost over zero-shot by 89.6%).
暂无评论