中文
相关论文

相关论文: ML-Based Automata Simplification for Symbolic Acce…

200 篇论文

Flaky tests, which exhibit non-deterministic pass/fail behavior for the same version of code, pose significant challenges to reliable regression testing. While large language models (LLMs) promise for automated flaky test classification,…

软件工程 · 计算机科学 2026-05-13 Khondaker Tasnia Hoque , Toukir Ahammed

This paper presents the Photonic FabricTM and the Photonic Fabric ApplianceTM (PFA), a photonic-enabled switch and memory subsystem that delivers low latency, high bandwidth, and low per-bit energy. By integrating high-bandwidth HBM3E…

性能 · 计算机科学 2025-07-24 Jing Ding , Trung Diep

This technical report introduces AngelSlim, a comprehensive and versatile toolkit for large model compression developed by the Tencent Hunyuan team. By consolidating cutting-edge algorithms, including quantization, speculative decoding,…

The high-energy physics community is investigating the potential of deploying machine-learning-based solutions on Field-Programmable Gate Arrays (FPGAs) to enhance physics sensitivity while still meeting data processing time constraints. In…

The LCLS-II Free Electron Laser (FEL) will generate X-ray pulses for beamline experiments at rates of up to 1~MHz, with detectors producing data throughputs exceeding 1 TB/s. Managing such massive data streams presents significant…

Profiling is important for performance optimization by providing real-time observations and measurements of important parameters of hardware execution. Existing profiling tools for High-Level Synthesis (HLS) IPs running on FPGAs are far…

硬件体系结构 · 计算机科学 2025-04-02 Rui Shi , Seda Ogrenci

Data movement is the primary bottleneck in modern computing systems. For loop-based programs common in high-performance computing (HPC) and AI workloads, including matrix multiplication, tensor contraction, stencil computation, and einsum…

编程语言 · 计算机科学 2026-04-08 Yifan Zhu , Yekai Pan , Yanghui Wu , Chen Ding

Deep learning and signal processing are closely correlated in many IoT scenarios such as anomaly detection to empower intelligence of things. Many IoT processors utilize digital signal processors (DSPs) for signal processing and build deep…

硬件体系结构 · 计算机科学 2024-07-18 Fangfa Fu , Wenyu Zhang , Zesong Jiang , Zhiyu Zhu , Guoyu Li , Bing Yang , Cheng Liu , Liyi Xiao , Jinxiang Wang , Huawei Li , Xiaowei Li

State-of-the-art Neural Network Architectures (NNAs) are challenging to design and implement efficiently in hardware. In the past couple of years, this has led to an explosion in research and development of automatic Neural Architecture…

神经与进化计算 · 计算机科学 2020-09-15 Philip Colangelo , Oren Segal , Alex Speicher , Martin Margala

Recent years have witnessed the growing popularity of domain-specific accelerators (DSAs), such as Google's TPUs, for accelerating various applications such as deep learning, search, autonomous driving, etc. To facilitate DSA designs,…

机器学习 · 计算机科学 2023-06-06 Yunsheng Bai , Atefeh Sohrabizadeh , Zongyue Qin , Ziniu Hu , Yizhou Sun , Jason Cong

This paper presents GraphAGILE, a domain-specific FPGA-based overlay accelerator for graph neural network (GNN) inference. GraphAGILE consists of (1) \emph{a novel unified architecture design} with an \emph{instruction set}, and (2) \emph{a…

分布式、并行与集群计算 · 计算机科学 2023-04-25 Bingyi Zhang , Hanqing Zeng , Viktor Prasanna

The recent advancements in large-scale pre-training techniques have significantly enhanced the capabilities of vision foundation models, notably the Segment Anything Model (SAM), which can generate precise masks based on point and box…

计算机视觉与模式识别 · 计算机科学 2024-10-14 Anqi Zhang , Guangyu Gao , Jianbo Jiao , Chi Harold Liu , Yunchao Wei

Deep learning-based point cloud processing plays an important role in various vision tasks, such as autonomous driving, virtual reality (VR), and augmented reality (AR). The submanifold sparse convolutional network (SSCN) has been widely…

信号处理 · 电气工程与系统科学 2022-10-17 Zilun Wang , Wendong Mao , Peixiang Yang , Zhongfeng Wang , Jun Lin

Many automated processes such as auto-piloting rely on a good semantic segmentation as a critical component. To speed up performance, it is common to downsample the input frame. However, this comes at the cost of missed small objects and…

计算机视觉与模式识别 · 计算机科学 2019-07-17 Dmitrii Marin , Zijian He , Peter Vajda , Priyam Chatterjee , Sam Tsai , Fei Yang , Yuri Boykov

The increase in open-source availability of Large Language Models (LLMs) has enabled users to deploy them on more and more resource-constrained edge devices to reduce reliance on network connections and provide more privacy. However, the…

硬件体系结构 · 计算机科学 2024-08-02 Jude Haris , Rappy Saha , Wenhao Hu , José Cano

Graph Neural Networks (GNNs) have recently gained attention due to their performance on non-Euclidean data. The use of custom hardware architectures proves particularly beneficial for GNNs due to their irregular memory access patterns,…

硬件体系结构 · 计算机科学 2025-03-03 Pedro Gimenes , Yiren Zhao , George Constantinides

In this paper, the acceleration of algorithms using a design of a field programmable gate array (FPGA) as a prototype of a static dataflow architecture is discussed. The static dataflow architecture using operators interconnected by…

硬件体系结构 · 计算机科学 2015-03-13 Jorge Luiz e Silva , Joelmir Jose Lopes , Bruno de Abreu Silva , Antonio Carlos Fernandes da Silva

Autonomous driving platforms encounter diverse driving scenarios, each with varying hardware resources and precision requirements. Given the computational limitations of embedded devices, it is crucial to consider computing costs when…

计算机视觉与模式识别 · 计算机科学 2025-10-07 Jun Liu , Zhenglun Kong , Pu Zhao , Weihao Zeng , Hao Tang , Xuan Shen , Changdi Yang , Wenbin Zhang , Geng Yuan , Wei Niu , Xue Lin , Yanzhi Wang

Recent years have witnessed an emerging paradigm shift toward embodied artificial intelligence, in which an agent must learn to solve challenging tasks by interacting with its environment. There are several challenges in solving embodied…

机器人学 · 计算机科学 2022-10-26 Zhiwei Jia , Kaixiang Lin , Yizhou Zhao , Qiaozi Gao , Govind Thattai , Gaurav Sukhatme

Neuro-symbolic AI bridges the gap between purely symbolic and neural approaches to learning. This often requires maximizing the likelihood of a symbolic constraint w.r.t the neural network's output distribution. Such output distributions…

机器学习 · 计算机科学 2024-01-30 Kareem Ahmed , Kai-Wei Chang , Guy Van den Broeck