中文
相关论文

相关论文: XAV: A High-Performance Regular Expression Matchin…

200 篇论文

Deep packet inspection via regular expression (RE) matching is a crucial task of network intrusion detection systems (IDSes), which secure Internet connection against attacks and suspicious network traffic. Monitoring high-speed computer…

形式语言与自动机理论 · 计算机科学 2019-04-25 Milan Češka , Vojtěch Havlena , Lukáš Holík , Jan Kořenek , Ondřej Lengál , Denis Matoušek , Jiří Matoušek , Jakub Semrič , Tomáš Vojnar

Regular expression matching is essential for many applications, such as finding patterns in text, exploring substrings in large DNA sequences, or lexical analysis. However, sequential regular expression matching may be time-prohibitive for…

形式语言与自动机理论 · 计算机科学 2015-06-30 Suejb Memeti , Sabri Pllana

Regular expressions are a concise yet expressive language for expressing patterns. For instance, in networked software, they are used for input validation and intrusion detection. Yet some widely deployed regular expression matchers based…

编程语言 · 计算机科学 2013-01-08 James Kirrage , Asiri Rathnayake , Hayo Thielecke

Deep Packet Inspection (DPI) has been extensively employed for network security. It examines traffic payloads by searching for regular expressions (regex) with the Deterministic Finite Automaton (DFA) model. However, as the network…

网络与互联网体系结构 · 计算机科学 2025-12-09 Yang Liu , Wenjun Zhu , Harry Chang , Yang Hong , Geoff Langdale , Kun Qiu , Jin Zhao

Network intrusion detection systems and antivirus software are essential in detecting malicious network traffic and attacks such as denial-of-service and malwares. Each attack, worm or virus has its own distinctive signature.…

密码学与安全 · 计算机科学 2020-03-03 Monther Aldwairi , Yahya Flaifel , Khaldoon Mhaidat

Graph matching, typically formulated as a Quadratic Assignment Problem (QAP), seeks to establish node correspondences between two graphs. To address the NP-hardness of QAP, some existing methods adopt projection-based relaxations that embed…

机器学习 · 计算机科学 2025-08-05 Binrui Shen , Yuan Liang , Shengxin Zhu

Keyword Spotting nowadays is an integral part of speech-oriented user interaction targeted for smart devices. To this extent, neural networks are extensively used for their flexibility and high accuracy. However, coming up with a suitable…

机器学习 · 计算机科学 2022-02-08 Arnab Neelim Mazumder , Tinoosh Mohsenin

Hash table is a fundamental data structure for quick search and retrieval of data. It is a key component in complex graph analytics and AI/ML applications. State-of-the-art parallel hash table implementations either make some simplifying…

分布式、并行与集群计算 · 计算机科学 2021-08-24 Ruizhi Zhang , Sasindu Wijeratne , Yang Yang , Sanmukh R. Kuppannagari , Viktor K. Prasanna

With the increasing physical event rate and number of electronic channels, traditional readout scheme meets the challenge of improving readout speed caused by the limited bandwidth of crate backplane. In this paper, a high-speed data…

仪器与探测器 · 物理学 2014-10-23 Huang Xi-Ru , Cao Ping , Gao Li-Wei , Zheng Jia-Jun

An efficient hardware implementation for Simultaneous Localization and Mapping (SLAM) methods is of necessity for mobile autonomous robots with limited computational resources. In this paper, we propose a resource-efficient FPGA…

信号处理 · 电气工程与系统科学 2023-05-31 Keisuke Sugiura , Hiroki Matsutani

The softmax (also called softargmax) function is widely used in machine learning models to normalize real-valued scores into a probability distribution. To avoid floating-point overflow, the softmax function is conventionally implemented in…

性能 · 计算机科学 2020-01-14 Marat Dukhan , Artsiom Ablavatski

Regular pattern matching is used in numerous application domains, including text processing, bioinformatics, and network security. Patterns are typically expressed with an extended syntax of regular expressions that include the…

形式语言与自动机理论 · 计算机科学 2022-09-14 Lingkun Kong , Qixuan Yu , Agnishom Chattopadhyay , Alexis Le Glaunec , Yi Huang , Konstantinos Mamouras , Kaiyuan Yang

The widespread adoption of mixed-precision quantization in large language models (LLMs) has created demand for hardware that can efficiently perform multiply-accumulate (MAC) operations across mixed datatypes and switch datatypes at…

硬件体系结构 · 计算机科学 2026-05-08 Feng Yu , Hongshi Tan , Yao Chen , Weng-Fai Wong , Bingsheng He

A reasonable evaluation standard underlies construction of effective deep learning models. However, we find in experiments that the automatic crack detectors based on deep learning are obviously underestimated by the widely used mean…

计算机视觉与模式识别 · 计算机科学 2020-07-24 Hongyu Li , Jihe Wang , Yu Zhang , Zirui Wang , Tiejun Wang

Given a regular expression $R$ and a string $Q$, the regular expression parsing problem is to determine if $Q$ matches $R$ and if so, determine how it matches, e.g., by a mapping of the characters of $Q$ to the characters in $R$. Regular…

数据结构与算法 · 计算机科学 2019-01-30 Philip Bille , Inge Li Gørtz

Pattern Matching is a computationally intensive task used in many research fields and real world applications. Due to the ever-growing volume of data to be processed, and increasing link speeds, the number of patterns to be matched has…

分布式、并行与集群计算 · 计算机科学 2017-04-10 Xavier Bellekens , Christos Tachtatzis , Robert Atkinson , Craig Renfrew , Tony Kirkham

Machine learning (ML) is successful in achieving human-level artificial intelligence in various fields. However, it lacks the ability to explain an outcome due to its black-box nature. While recent efforts on explainable AI (XAI) has…

机器学习 · 计算机科学 2023-05-09 Zhixin Pan , Prabhat Mishra

This work proposes an efficient method to enhance the quality of corrupted speech signals by leveraging both acoustic and visual cues. While existing diffusion-based approaches have demonstrated remarkable quality, their applicability is…

音频与语音处理 · 电气工程与系统科学 2024-06-14 Chaeyoung Jung , Suyeon Lee , Ji-Hoon Kim , Joon Son Chung

Fast matching of regular expressions with bounded repetition, aka counting, such as (ab){50,100}, i.e., matching linear in the length of the text and independent of the repetition bounds, has been an open problem for at least two decades.…

形式语言与自动机理论 · 计算机科学 2023-01-31 Lukáš Holík , Juraj Síč , Lenka Turoňová , Tomáš Vojnar

Verification is a critical process for ensuring the correctness of modern processors. The increasing complexity of processor designs and the emergence of new instruction set architectures (ISAs) like RISC-V have created demands for more…

硬件体系结构 · 计算机科学 2026-02-04 Yang Zhong , Haoran Wu , Xueqi Li , Sa Wang , David Boland , Yungang Bao , Kan Shi
‹ 上一页 1 2 3 10 下一页 ›