English
Related papers

Related papers: Finite State Automata Design using 1T1R ReRAM Cros…

200 papers

Nowadays, Vending Machines are well known among Japan, Malaysia and Singapore. The quantity of machines in these countries is on the top worldwide. This is due to the modern lifestyles which require fast food processing with high quality.…

Other Computer Science · Computer Science 2012-05-17 Ana Monga , Balwinder Singh

As the large language models (LLMs) grow in size each day, efficient training and fine-tuning has never been as important as nowadays. This resulted in the great interest in parameter efficient fine-tuning (PEFT), and effective methods…

Machine Learning · Computer Science 2025-11-04 Dhananjaya Gowda , Seoha Song , Junhyun Lee , Harshith Goka

The research interest in specialized hardware accelerators for deep neural networks (DNN) spikes recently owing to their superior performance and efficiency. However, today's DNN accelerators primarily focus on accelerating specific…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-11 Cong Guo , Yangjie Zhou , Jingwen Leng , Yuhao Zhu , Zidong Du , Quan Chen , Chao Li , Bin Yao , Minyi Guo

We present a formal and constructive framework for simulating Alternating Finite Automata (AFAs) using Logic-Gated Time-Shared Feedforward Networks (LG-TS-FFNs). Unlike prior neural automata models limited to Nondeterministic Finite…

Formal Languages and Automata Theory · Computer Science 2026-04-03 Sahil Rajesh Dhayalkar

This paper aims to explore reconfigurable intelligent surface (RIS) integration in a millimeter wave (mmWave) communication system with low-complexity transceiver architecture under imperfect CSI assumption. Towards this, we propose a…

Information Theory · Computer Science 2024-02-08 Kali Krishna Kota , Praful D. Mankar

Passive resistive random access memory (ReRAM) crossbar arrays, a promising emerging technology used for analog matrix-vector multiplications, are far superior to their active (1T1R) counterparts in terms of the integration density.…

We study the learnability of symbolic finite state automata (SFA), a model shown useful in many applications in software verification. The state-of-the-art literature on this topic follows the query learning paradigm, and so far all…

Logic in Computer Science · Computer Science 2024-02-14 Dana Fisman , Hadar Frenkel , Sandra Zilles

The unprecedented growth in the field of machine learning has led to the development of deep neuromorphic networks trained on labelled dataset with capability to mimic or even exceed human capabilities. However, for applications involving…

Emerging Technologies · Computer Science 2024-07-12 Arjun Tyagi , Shubham Sahay

Human activity recognition (HAR) on resource constrained devices requires high accuracy across diverse sensor setups. Selective state space models (SSMs) offer efficient linear time sequence processing, presenting a compelling alternative…

Computer Vision and Pattern Recognition · Computer Science 2026-05-20 Mridankan Mandal

The translation of emerging application concepts that exploit Resistive Random Access Memory (ReRAM) into large-scale practical systems requires realistic, yet computationally efficient, empirical models that can capture all observed…

Emerging Technologies · Computer Science 2017-03-06 Ioannis Messaris , Alexander Serb , Ali Khiat , Spyridon Nikolaidis , Themistoklis Prodromakis

In this paper we provide a practical demonstration of how the modularity in a Behavior Tree (BT) decreases the effort in programming a robot task when compared to a Finite State Machine (FSM). In recent years the way to represent a task…

Robotics · Computer Science 2022-09-16 Matteo Iovino , Julian Förster , Pietro Falco , Jen Jen Chung , Roland Siegwart , Christian Smith

The memory capacity in edge devices is often limited due to constraints on cost, size, and power. Consequently, memory competition leads to inevitable page swapping in memory-constrained mixed-criticality edge devices, causing slow storage…

Operating Systems · Computer Science 2025-11-26 Meng-Chia Lee , Wen Sheng Lim , Yuan-Hao Chang , Tei-Wei Kuo

State-Space Models (SSMs) have attracted considerable attention in Image Restoration (IR) due to their ability to scale linearly sequence length while effectively capturing long-distance dependencies. However, deploying SSMs to edge devices…

Computer Vision and Pattern Recognition · Computer Science 2026-04-17 Yujie Chen , Haotong Qin , Zhang Zhang , Michelo Magno , Luca Benini , Yawei Li

Recent methods for long-tailed instance segmentation still struggle on rare object classes with few training data. We propose a simple yet effective method, Feature Augmentation and Sampling Adaptation (FASA), that addresses the data…

Computer Vision and Pattern Recognition · Computer Science 2021-10-01 Yuhang Zang , Chen Huang , Chen Change Loy

While Transformer networks benefit from a global receptive field, their quadratic cost relative to sequence length restricts their application to long sequences and high-resolution inputs. We introduce Fast Multipole Attention (FMA), a…

Computation and Language · Computer Science 2025-09-19 Yanming Kang , Giang Tran , Hans De Sterck

Resistive Random-Access Memory (ReRAM) crossbar arrays are promising candidates for in-situ matrix-vector multiplication (MVM), a frequent operation in Deep Learning algorithms. Despite their advantages, these emerging non-volatile memories…

Emerging Technologies · Computer Science 2024-12-05 Benyamin Khezeli , Hamid Reza Zarandi , Elham Cheshmikhani

We introduce an approach for understanding control policies represented as recurrent neural networks. Recent work has approached this problem by transforming such recurrent policy networks into finite-state machines (FSM) and then analyzing…

Machine Learning · Computer Science 2021-07-13 Mohamad H. Danesh , Anurag Koul , Alan Fern , Saeed Khorram

Recently Resistive-RAM (RRAM) crossbar has been used in the design of the accelerator of convolutional neural networks (CNNs) to solve the memory wall issue. However, the intensive multiply-accumulate computations (MACs) executed at the…

Signal Processing · Electrical Eng. & Systems 2019-06-10 Xizi Chen , Jingyang Zhu , Jingbo Jiang , Chi-Ying Tsui

Memristor crossbars are circuits capable of performing analog matrix-vector multiplications, overcoming the fundamental energy efficiency limitations of digital logic. They have been shown to be effective in special-purpose accelerators for…

We revisit the complexity of procedures on SFAs (such as intersection, emptiness, etc.) and analyze them according to the measures we find suitable for symbolic automata: the number of states, the maximal number of transitions exiting a…

Formal Languages and Automata Theory · Computer Science 2021-07-05 Dana Fisman , Hadar Frenkel , Sandra Zilles
‹ Prev 1 4 5 6 7 8 10 Next ›