中文
相关论文

相关论文: Efficient Fault Injection based on Dynamic HDL Sli…

200 篇论文

This paper introduces Hardcaml, an embedded hardware design domain specific language (DSL) implemented in the OCaml programming language. Unlike high level synthesis (HLS), Hardcaml allows for low level control of the underlying hardware…

编程语言 · 计算机科学 2023-12-27 Andy Ray , Benjamin Devlin , Fu Yong Quah , Rahul Yesantharao

While mobile devices provide ever more compute power, improvements in DRAM bandwidth are much slower. This is unfortunate for large language model (LLM) token generation, which is heavily memory-bound. Previous work has proposed to leverage…

Scientific applications are often irregular and characterized by large computationally-intensive parallel loops. Dynamic loop scheduling (DLS) techniques improve the performance of computationally-intensive scientific applications via load…

分布式、并行与集群计算 · 计算机科学 2018-05-08 Ali Mohammed , Ahmed Eleliemy , Florina M. Ciorba , Franziska Kasielke , Ioana Banicescu

Deep reinforcement learning (DRL) has emerged as a powerful paradigm for solving complex decision-making problems. However, DRL-based systems still face significant dependability challenges particularly in real-time environments due to the…

软件工程 · 计算机科学 2026-03-25 Guoxin Su , Thomas Robinson , Hoa Khanh Dam , Li Liu , David S. Rosenblum

Modern Hardware Description Languages (HDLs) such as SystemVerilog or VHDL are, due to their sheer complexity, insufficient to transport designs through modern circuit design flows. Instead, each design automation tool lowers HDLs to its…

编程语言 · 计算机科学 2020-04-08 Fabian Schuiki , Andreas Kurth , Tobias Grosser , Luca Benini

Injection of transient faults as a way to attack cryptographic implementations has been largely studied in the last decade. Several attacks that use electromagnetic fault injection against hardware or software architectures have already…

密码学与安全 · 计算机科学 2014-02-27 Nicolas Moro , Amine Dehbaoui , Karine Heydemann , Bruno Robisson , Emmanuelle Encrenaz

Large language models (LLMs) have significantly advanced natural language processing, particularly through the integration of external tools and APIs. However, their effectiveness is frequently hampered by parameter mis-filling during tool…

计算与语言 · 计算机科学 2025-06-03 Yue Cui , Liuyi Yao , Shuchang Tao , Weijie Shi , Yaliang Li , Bolin Ding , Xiaofang Zhou

In the context of additive manufacturing we present a novel technique for direct slicing of a dilated or eroded volume, where the input volume boundary is a triangle mesh. Rather than computing a 3D model of the boundary of the dilated or…

图形学 · 计算机科学 2019-11-15 Sylvain Lefebvre

In the context of mapping high-level algorithms to hardware, we consider the basic problem of generating an efficient hardware implementation of a single threaded program, in particular, that of an inner loop. We describe a control-flow…

硬件体系结构 · 计算机科学 2014-11-05 Madhav Desai

This paper proposes a novel framework for active fault diagnosis and parameter estimation in linear systems operating in closed-loop, subject to unknown but bounded faults. The approach integrates set-membership identification with a cost…

最优化与控制 · 数学 2025-08-19 Annalena Daniels , Johannes Teutsch , Fabian Kleindienst , Marion Leibold , Dirk Wollherr

Scientific applications consist of large and computationally-intensive loops. Dynamic loop scheduling (DLS) techniques are used to load balance the execution of such applications. Load imbalance can be caused by variations in loop iteration…

分布式、并行与集群计算 · 计算机科学 2018-07-16 Ali Mohammed , Florina M. Ciorba

Modern Machine Learning (ML) applications often benefit from structured sparsity, a technique that efficiently reduces model complexity and simplifies handling of sparse data in hardware. Sparse systolic tensor arrays - specifically…

硬件体系结构 · 计算机科学 2025-04-29 Christodoulos Peltekis , Chrysostomos Nicopoulos , Giorgos Dimitrakopoulos

Induction motors are one of the most crucial electrical equipment and are extensively used in industries in a wide range of applications. This paper presents a machine learning model for the fault detection and classification of induction…

机器学习 · 计算机科学 2024-09-17 Kavana Venkatesh , Neethi M

With the increased popularity of Deep Neural Networks (DNNs), increases also the need for tools to assist developers in the DNN implementation, testing and debugging process. Several approaches have been proposed that automatically analyse…

软件工程 · 计算机科学 2024-12-18 Nargiz Humbatova , Jinhan Kim , Gunel Jahangirova , Shin Yoo , Paolo Tonella

Automated fault localization requires connecting an observed test failure to the responsible method across thousands of candidates--a task that purely statistical approaches handle with limited precision and that LLMs cannot yet handle at…

软件工程 · 计算机科学 2026-05-14 Mahdi Farzandway , Fatemeh Ghassemi

The main objective of this article is to develop scalable dynamic anomaly detectors when high-fidelity simulators of power systems are at our disposal. On the one hand, mathematical models of these high-fidelity simulators are typically…

最优化与控制 · 数学 2020-10-07 Kaikai Pan , Peter Palensky , Peyman Mohajerin Esfahani

This technique holds several advantages over contemporary techniques: It utilizes technology that is already deployed in the field, it offers a significant degree of generality, and so far it has displayed a very high-level of sensitivity…

系统与控制 · 电气工程与系统科学 2023-04-05 Gian Paramo , Arturo Bretas , Sean Meyn

Fault injection attacks induce hardware failures in circuits and exploit these faults to compromise the security of the system. It has been demonstrated that FIAs can bypass system security mechanisms, cause faulty outputs, and gain access…

系统与控制 · 电气工程与系统科学 2025-01-17 Yan He , Yumin Su , Kaiyuan Yang

Context: Automated software defect prediction (SDP) methods are increasingly applied, often with the use of machine learning (ML) techniques. Yet, the existing ML-based approaches require manually extracted features, which are cumbersome,…

软件工程 · 计算机科学 2022-10-06 Görkem Giray , Kwabena Ebo Bennin , Ömer Köksal , Önder Babur , Bedir Tekinerdogan

The conventional approach to scaling Software Defined Networking (SDN) controllers today is to partition switches based on network topology, with each partition being controlled by a single physical controller, running all SDN applications.…

网络与互联网体系结构 · 计算机科学 2016-09-26 Yiyang Chang , Ashkan Rezaei , Balajee Vamanan , Jahangir Hasan , Sanjay Rao , T. N. Vijaykumar