中文
相关论文

相关论文: A Deep Learning Framework for Verilog Autocompleti…

200 篇论文

Portability of hardware designs between Programmable Logic Devices (PLD) can be accomplished through the use of device-agnostic hardware description languages (HDL) such as Verilog or VHDL. Hardware designers can use HDLs to migrate…

硬件体系结构 · 计算机科学 2021-11-11 Nicholas V. Giamblanco , Andrew Schmidt

Large Language Models (LLMs) have revolutionized code generation, achieving exceptional results on various established benchmarking frameworks. However, concerns about data contamination - where benchmark data inadvertently leaks into…

The use of deep learning has grown at an exponential rate, giving rise to numerous specialized hardware and software systems for deep learning. Because the design space of deep learning software stacks and hardware accelerators is diverse…

机器学习 · 计算机科学 2020-10-06 Zhan Shi , Chirag Sakhuja , Milad Hashemi , Kevin Swersky , Calvin Lin

The design of Systems on Chips (SoCs) is becoming more and more complex due to technological advancements. Missed bugs can cause drastic failures in safety-critical environments leading to the endangerment of lives. To overcome these…

硬件体系结构 · 计算机科学 2024-10-25 Bryan Olmos , Daniel Gerl , Aman Kumar , Djones Lettnin

The use of Large Language Models (LLMs) in hardware design has taken off in recent years, principally through its incorporation in tools that increase chip designer productivity. There has been considerable discussion about the use of LLMs…

Vertical federated learning (VFL) leverages various privacy-preserving algorithms, e.g., homomorphic encryption or secret sharing based SecureBoost, to ensure data privacy. However, these algorithms all require a semi-honest secure…

密码学与安全 · 计算机科学 2021-08-24 Cengguang Zhang , Junxue Zhang , Di Chai , Kai Chen

Entity resolution (ER) is a key data integration problem. Despite the efforts in 70+ years in all aspects of ER, there is still a high demand for democratizing ER - humans are heavily involved in labeling data, performing feature…

数据库 · 计算机科学 2019-11-20 Muhammad Ebraheem , Saravanan Thirumuruganathan , Shafiq Joty , Mourad Ouzzani , Nan Tang

Deep learning-based vulnerability detection has shown great performance and, in some studies, outperformed static analysis tools. However, the highest-performing approaches use token-based transformer models, which are not the most…

软件工程 · 计算机科学 2023-10-03 Benjamin Steenhoek , Hongyang Gao , Wei Le

The application of Large Language Models (LLMs) in Computer-Aided Design (CAD) remains an underexplored area, despite their remarkable advancements in other domains. In this paper, we present BlenderLLM, a novel framework for training LLMs…

人机交互 · 计算机科学 2024-12-20 Yuhao Du , Shunian Chen , Wenbo Zan , Peizhao Li , Mingxuan Wang , Dingjie Song , Bo Li , Yan Hu , Benyou Wang

As deep learning is pervasive in modern applications, many deep learning frameworks are presented for deep learning practitioners to develop and train DNN models rapidly. Meanwhile, as training large deep learning models becomes a trend in…

机器学习 · 计算机科学 2023-03-09 Cody Hao Yu , Haozheng Fan , Guangtai Huang , Zhen Jia , Yizhi Liu , Jie Wang , Zach Zheng , Yuan Zhou , Haichen Shen , Junru Shao , Mu Li , Yida Wang

Electroencephalography (EEG) is a complex signal and can require several years of training to be correctly interpreted. Recently, deep learning (DL) has shown great promise in helping make sense of EEG signals due to its capacity to learn…

While specifications for digital systems are provided in natural language, engineers undertake significant efforts to translate them into the programming languages understood by compilers for digital systems. Automating this process allows…

软件工程 · 计算机科学 2020-10-21 Hammond Pearce , Benjamin Tan , Ramesh Karri

Applying deep learning (DL) techniques in the electronic design automation (EDA) field has become a trending topic. Most solutions apply well-developed DL models to solve specific EDA problems. While demonstrating promising results, they…

机器学习 · 计算机科学 2022-04-22 Min Li , Sadaf Khan , Zhengyuan Shi , Naixing Wang , Yu Huang , Qiang Xu

Electroencephalography (EEG) signals are frequently used for various Brain-Computer Interface (BCI) tasks. While Deep Learning (DL) techniques have shown promising results, they are hindered by the substantial data requirements. By…

信号处理 · 电气工程与系统科学 2024-05-24 Bruna Junqueira , Bruno Aristimunha , Sylvain Chevallier , Raphael Y. de Camargo

The automation of robotic tasks requires high precision and adaptability, particularly in force-based operations such as insertions. Traditional learning-based approaches either rely on static datasets, which limit their ability to…

机器人学 · 计算机科学 2025-08-22 Zebin Duan , Frederik Hagelskjær , Aljaz Kramberger , Juan Heredia , Norbert Krüger

Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descriptions. We introduce the concepts of Failure Explanations…

软件工程 · 计算机科学 2025-08-05 Tom Yaacov , Gera Weiss , Gal Amram , Avi Hayoun

Deep learning (DL)-based code completion tools have transformed software development by enabling advanced code generation. These tools leverage models trained on vast amounts of code from numerous repositories, capturing general coding…

软件工程 · 计算机科学 2025-03-19 Alessandro Giagnorio , Alberto Martin-Lopez , Gabriele Bavota

In this paper, we demonstrate a computationally efficient new approach based on deep learning (DL) techniques for analysis, design, and optimization of electromagnetic (EM) nanostructures. We use the strong correlation among features of a…

机器学习 · 计算机科学 2020-02-13 Yashar Kiarashinejad , Sajjad Abdollahramezani , Ali Adibi

Microfluidic devices have emerged as powerful tools in various laboratory applications, but the complexity of their design limits accessibility for many practitioners. While progress has been made in microfluidic design automation (MFDA), a…

Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have demonstrated that full verification of entire systems is feasible by establishing a refinement relation between an abstract system specification and an executable…

计算机科学中的逻辑 · 计算机科学 2020-10-13 Christoph Sprenger , Tobias Klenze , Marco Eilers , Felix A. Wolf , Peter Müller , Martin Clochard , David Basin
‹ 上一页 1 8 9 10 下一页 ›