English
Related papers

Related papers: FPDetect: Efficient Reasoning About Stencil Progra…

200 papers

Finetuning language models (LMs) is crucial for adapting the models to downstream data and tasks. However, full finetuning is usually costly. Existing work, such as parameter-efficient finetuning (PEFT), often focuses on \textit{how to…

Computation and Language · Computer Science 2025-06-03 Jian Gu , Aldeida Aleti , Chunyang Chen , Hongyu Zhang

Training deep neural networks (DNNs) requires significantly more computation and memory than inference, making runtime adaptation of DNNs challenging on resource-limited IoT platforms. We propose InstantFT, an FPGA-based method for…

Machine Learning · Computer Science 2025-06-10 Keisuke Sugiura , Hiroki Matsutani

Despite the great performance of deep learning models in many areas, they still make mistakes and underperform on certain subsets of data, i.e. error slices. Given a trained model, it is important to identify its semantically coherent error…

Machine Learning · Computer Science 2025-12-23 Han Yu , Hao Zou , Jiashuo Liu , Renzhe Xu , Yue He , Xingxuan Zhang , Peng Cui

Stencil algorithms have been receiving considerable interest in HPC research for decades. The techniques used to approach multi-core stencil performance modeling and engineering span basic runtime measurements, elaborate performance models,…

Performance · Computer Science 2020-06-25 Julian Hornich , Julian Hammer , Georg Hager , Thomas Gruber , Gerhard Wellein

Machine learning techniques have opened new avenues for real-time quantum state tomography (QST). In this work, we demonstrate the deployment of machine learning-based QST onto edge devices, specifically utilizing field programmable gate…

Researchers have developed neural network verification algorithms motivated by the need to characterize the robustness of deep neural networks. The verifiers aspire to answer whether a neural network guarantees certain properties with…

Machine Learning · Computer Science 2021-10-04 Kai Jia , Martin Rinard

Face forgery generation technologies generate vivid faces, which have raised public concerns about security and privacy. Many intelligent systems, such as electronic payment and identity verification, rely on face forgery detection.…

Computer Vision and Pattern Recognition · Computer Science 2025-11-13 Zhaoyu Chen , Bo Li , Kaixun Jiang , Shuang Wu , Shouhong Ding , Wenqiang Zhang

Spectral analysis plays an important role in detection of damage in structures and deep learning. The choice of a floating-point format plays a crucial role in determining the accuracy and performance of spectral analysis. The IEEE Std…

Hardware Architecture · Computer Science 2024-06-11 Sameer Deshmukh , Daniel Khankin , William Killian , John Gustafson , Elad Raz

A long-standing challenge in quantum computing is developing technologies to overcome the inevitable noise in qubits. To enable meaningful applications in the early stages of fault-tolerant quantum computing, devising methods to suppress…

Spike sorting is a valuable tool in understanding brain regions. It assigns detected spike waveforms to their origins, helping to research the mechanism of the human brain and the development of implantable brain-machine interfaces (iBMIs).…

Signal Processing · Electrical Eng. & Systems 2025-04-22 Xiaoyu Jiang , Tao Fang , Majid Zamani

Stencil computation is an important class of scientific applications that can be efficiently executed by graphics processing units (GPUs). Out-of-core approach helps run large scale stencil codes that process data with sizes larger than the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-14 Jingcheng Shen , Yifan Wu , Masao Okita , Fumihiko Ino

Field-programmable gate arrays (FPGAs) are widely used to implement deep learning inference. Standard deep neural network inference involves the computation of interleaved linear maps and nonlinear activation functions. Prior work for…

Machine Learning · Computer Science 2024-02-12 Marta Andronic , George A. Constantinides

Quantum error correction promises a viable path to fault-tolerant computations, enabling exponential error suppression when the device's error rates remain below the protocol's threshold. This threshold, however, strongly depends on the…

Quantum Physics · Physics 2026-05-11 Maurice D. Hanisch , Bence Hetényi , James R. Wootton

The PC algorithm allows investigators to estimate a complete partially directed acyclic graph (CPDAG) from a finite dataset, but few groups have investigated strategies for estimating and controlling the false discovery rate (FDR) of the…

Machine Learning · Statistics 2017-05-11 Eric V. Strobl , Peter L. Spirtes , Shyam Visweswaran

The Finite Elements with Switch Detection (FESD) method is a highly accurate direct transcription method for optimal control of several classes of nonsmooth dynamical systems. This paper extends the FESD method to Projected Dynamical…

Optimization and Control · Mathematics 2024-04-09 Anton Pozharskiy , Armin Nurkanović , Moritz Diehl

In hardware implementation of a cryptographic algorithm, one may achieve leakage of secret information by creating scopes to introduce controlled faulty bit(s) even though the algorithm is mathematically a secured one. The technique is very…

Hardware Architecture · Computer Science 2016-10-31 Rourab Paul , Amlan Chakrabarti , Ranjan Ghosh

This paper is on Few-Shot Object Detection (FSOD), where given a few templates (examples) depicting a novel class (not seen during training), the goal is to detect all of its occurrences within a set of images. From a practical perspective,…

Computer Vision and Pattern Recognition · Computer Science 2023-08-22 Adrian Bulat , Ricardo Guerrero , Brais Martinez , Georgios Tzimiropoulos

In-network computation has been widely used to accelerate data-intensive distributed applications. Some computational tasks, traditional performed on servers, are offloaded to the network (i.e. programmable switches). However, the…

Networking and Internet Architecture · Computer Science 2021-06-11 Penglai Cui , Heng Pan , Zhenyu Li , Jiaoren Wu , Shengzhuo Zhang , Xingwu Yang , Hongtao Guan , Gaogang Xie

The ultimate goal of quantum error correction is to create logical qubits with very low error rates (e.g. 1e-12) and assemble them into large-scale quantum computers capable of performing many (e.g. billions) of logical gates on many (e.g.…

Quantum Physics · Physics 2025-11-20 Michael E. Beverland , Malcolm Carroll , Andrew W. Cross , Theodore J. Yoder

Embedded devices are omnipresent in modern networks including the ones operating inside critical environments. However, due to their constrained nature, novel mechanisms are required to provide external, and non-intrusive anomaly detection.…

Cryptography and Security · Computer Science 2023-02-07 Kurt A. Vedros , Georgios Michail Makrakis , Constantinos Kolias , Robert C. Ivans , Craig Rieger
‹ Prev 1 8 9 10 Next ›