ACM Transactions on Embedded Computing Systems

Article	Citations
RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping	65
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis	64
Hardware Acceleration for Embedded Keyword Spotting: Tutorial and Survey	52
Contention Grading and Adaptive Model Selection for Machine Vision in Embedded Systems	47
Holistic Resource Allocation Under Federated Scheduling for Parallel Real-time Tasks	47
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning	45
Introduction to the Special Issue on Memory and Storage Systems for Embedded and IoT Applications	42
Model-based Toolchain for Core Flight System (cFS) Embedded Systems	41
A Unified Programmable Edge Matrix Processor for Deep Neural Networks and Matrix Algebra	39
REC: REtime Convolutional Layers to Fully Exploit Harvested Energy for ReRAM-based CNN Accelerators	39
ViT4Mal: Lightweight Vision Transformer for Malware Detection on Edge Devices	39
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems	38
A Novel Lattice-Based Fault Injection Attack Targeting the Nonce in the SM2 Digital Signature Algorithm	36
A Comprehensive Survey on Deep Learning-based Predictive Maintenance	36
FLASH: Deadline-Aware Flexible LLC Arbitration and Scheduling for Hardware Accelerators	35
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities	35
Declarative Power Sequencing	34
More Is Less: Model Augmentation for Intermittent Deep Inference	31
WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android	30
Neural Abstraction-Based Controller Synthesis and Deployment	30
A Self-Sustained CPS Design for Reliable Wildfire Monitoring	29
Graph Transformations for Memory Peak Minimization by Scheduling	28
Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches	26
IoV-Fog-Assisted Framework for Accident Detection and Classification	26
Kryptonite: Worst-Case Program Interference Estimation on Multi-Core Embedded Systems	26

TAFP-ViT: A Transformer Accelerator via QKV Computational Fusion and Adaptive Pruning for Vision Transformer	26
An Efficient and Flexible Stochastic CGRA Mapping Approach	24
Scalable Binary Neural Network Applications in Oblivious Inference	23
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations	23
Securing Pacemakers Using Runtime Monitors over Physiological Signals	22
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images	21
Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System	20
Reg-Tune: A Regression-Focused Fine-Tuning Approach for Profiling Low Energy Consumption and Latency	20
Automatic Generation of Fast and Accurate Performance Models for Deep Neural Network Accelerators	20
Mining Hyperproperties using Temporal Logics	20
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping	19
Automatic Generation of Resource and Accuracy Configurable Processing Elements	19
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks	19
Regime Inference for Sound Floating-Point Optimizations	19
IoT-Fog-Cloud Centric Earthquake Monitoring and Prediction	19
SIAM: Chiplet-based Scalable In-Memory Acceleration with Mesh for Deep Neural Networks	18
DyCo: Dynamic, Contextualized AI Models	18
FSIMR: File-system-aware Data Management for Interlaced Magnetic Recording	18
Performance Modeling of Computer Vision-based CNN on Edge GPUs	18
Towards Building Verifiable CPS using Lingua Franca	18
Federated Self-training for Semi-supervised Audio Recognition	17
A Write-Related and Read-Related DRAM Allocation Strategy Inside Solid-State Drives (SSDs)	17
Software-Managed Read and Write Wear-Leveling for Non-Volatile Main Memory	17
Supervisory Control for Dynamic Feature Configuration in Product Lines	17
BASS: Safe Deep Tissue Optical Sensing for Wearable Embedded Systems	16
Improving Worst-case TSN Communication Times of Large Sensor Data Samples by Exploiting Synchronization	16
Early DSE and Automatic Generation of Coarse-grained Merged Accelerators	16
Middleware for Distributed Applications in a LoRa Mesh Network	15
CARIn: Constraint-Aware and Responsive Inference on Heterogeneous Devices for Single- and Multi-DNN Workloads	15
EXPRESS: A Framework for Execution Time Prediction of Concurrent CNNs on Xilinx DPU Accelerator	15
Rtkaller: State-aware Task Generation for RTOS Fuzzing	15
Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances	15
DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips	14
DOCTOR: A Multi-Disease Detection Continual Learning Framework Based on Wearable Medical Sensors	14
RPFF-PA : Reliable and Parallel Fault-tolerant Framework for Path Latency Reduction Deployed in Register Arrays	14
Criticality-aware Monitoring and Orchestration for Containerized Industry 4.0 Environments	14
XimSwap: Many-to-Many Face Swapping for TinyML	14
Reaction Latency Analysis of Message Synchronization in Edge-assisted Autonomous Driving	14
Optimus: An Operator Fusion Framework for Deep Neural Networks	14
Multi-Compression Scale DNN Inference Acceleration based on Cloud-Edge-End Collaboration	14
PEak: A Single Source of Truth for Hardware Design and Verification	14
ZIP-CNN: Design Space Exploration for CNN Implementation within a MCU	13
A Robust and Energy Efficient Hyperdimensional Computing System for Voltage-scaled Circuits	13
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators	13
Elements of Timed Pattern Matching	13
Efficient and Robust Edge AI: Software, Hardware, and the Co-design	12
Introduction to the Special Issue on Accelerating AI on the Edge – Part 1	12
WARM-tree: Making Quadtrees Write-efficient and Space-economic on Persistent Memories	12
An Energy-Efficient DRAM Cache Architecture for Mobile Platforms With PCM-Based Main Memory	12
Leveraging Computational Storage for Power-Efficient Distributed Data Analytics	12

Coarse-Grained Task Parallelization by Dynamic Profiling for Heterogeneous SoC-Based Embedded System	12
Telomere: Real-Time NAND Flash Storage	12
Analog In-memory Circuit Design of Polynomial Multiplication for Lattice Cipher Acceleration Application	12
A Highly Hardware Efficient ML-KEM Accelerator with Optimised Architectural Layers	11
AdaTest: Reinforcement Learning and Adaptive Sampling for On-chip Hardware Trojan Detection	11
A Hierarchical Classification Method for High-accuracy Instruction Disassembly with Near-field EM Measurements	11
Latency-Aware Pruning and Quantization of Self-Supervised Speech Transformers for Edge Devices	11
Faster Implementation of Ideal Lattice-Based Cryptography Using AVX512	10
Store-n-Learn: Classification and Clustering with Hyperdimensional Computing across Flash Hierarchy	10
An Efficient CNN Accelerator for Low-Cost Edge Systems	10
TAB: Unified and Optimized Ternary, Binary, and Mixed-precision Neural Network Inference on the Edge	10
Fast Loosely-Timed Deep Neural Network Models with Accurate Memory Contention	10
RegKey: A Register-based Implementation of ECC Signature Algorithms Against One-shot Memory Disclosure	10
HDLRuby: A Ruby Extension for Hardware Description and Its Translation to Synthesizable Verilog HDL	10
A Predictable QoS-aware Memory Request Scheduler for Soft Real-time Systems	10
CABARRE: Request Response Arbitration for Shared Cache Management	10
Domain-Specific Architectures: Research Problems and Promising Approaches	10
Florets for Chiplets: Data Flow-aware High-Performance and Energy-efficient Network-on-Interposer for CNN Inference Tasks	10
Tutorial: A Novel Runtime Environment for Accelerator-Rich Heterogeneous Architectures	9
Toward Optimal Softcore Carry-aware Approximate Multipliers on Xilinx FPGAs	9
VADF: V ersatile A pproximate D ata F ormats for Energy-Efficient Computing	9
Virtualizing a Post-Moore’s Law Analog Mesh Processor: The Case of a Photonic PDE Accelerator	9
Dataflow Driven Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems	9
Wireless Perceptual Space Modeling Method for Cross-Domain Human Activity Recognition	9
RTPL: A Real-Time Communication Protocol for LoRa Network	9
DynO: Dynamic Onloading of Deep Neural Networks from Cloud to Device	9
Hierarchical Resource Orchestration Framework for Real-time Containers	9
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques	9
Application-Level Evaluation of IEEE 802.1AS Synchronized Time and Linux for Distributed Real-Time Systems	9
Probabilistic Reaction Time Analysis	9
TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-based Inference	9
Challenges and Opportunities of Security-Aware EDA	9
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities	9
Lightweight Champions of the World: Side-Channel Resistant Open Hardware for Finalists in the NIST Lightweight Cryptography Standardization Process	8
Analysis of EM Fault Injection on Bit-sliced Number Theoretic Transform Software in Dilithium	8
????????????????????????: Utilizing Hyperdimensional Computing for a More Robust and Efficient Machine Learning System	8
HSPA: High-Throughput Sparse Polynomial Multiplication for Code-based Post-Quantum Cryptography	8
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems	8
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency	8
An Intermediate-Centric Dataflow for Transposed Convolution Acceleration on FPGA	8
SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Networks	8
Software Optimization and Design Methodology for Low Power Computer Vision Systems	8
Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs	8
Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis	8
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction	8
Regular Composite Resource Partitioning and Reconfiguration in Open Systems	8
A Compact and Parallel Swap-Based Shuffler Based on Butterfly Network and Its Complexity Against Side Channel Analysis	8
Robust Embedded Autonomous Driving Positioning System Fusing LiDAR and Inertial Sensors	8
Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge	7
Design Flow for Scheduling Spiking Deep Convolutional Neural Networks on Heterogeneous Neuromorphic System-on-chip	7
COBRRA: COntention-aware cache Bypass with Request-Response Arbitration	7
SPHINCSLET: An Area-Efficient Accelerator for the Full SPHINCS+ Digital Signature Algorithm	7
A Configurable CRYSTALS-Kyber Hardware Implementation with Side-Channel Protection	7
Attack-resilient Fusion of Sensor Data with Uncertain Delays	7
An Investigation on Hardware-Aware Vision Transformer Scaling	7
Register Blocking: A Source-to-Source Analytical Modelling Approach for Affine Loop Kernels	7
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications	7
A Survey of Blockchain Data Management Systems	7
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems	7
High-Level Approaches to Hardware Security: A Tutorial	7
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs	7
Code Generation for Neural Networks Based on Fixed-point Arithmetic	7
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare	7
HeterogeneousRTOS: A CPU-FPGA Real-Time OS for Fault Tolerance on COTS at Near-Zero Timing Cost	6
Verified Compilation of Synchronous Dataflow with State Machines	6
Combining Weight Approximation, Sharing and Retraining for Neural Network Model Compression	6
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	6
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms	6
Exploiting Activation Sparsity for Fast CNN Inference on Mobile GPUs	6
Improving Robustness in IoT Malware Detection through Execution Order Analysis	6
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	6
CORIDOR: Using CO herence and Tempo R al Local I ty to Mitigate Read D isurb	6
MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation	6
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	6
Block Walsh–Hadamard Transform-based Binary Layers in Deep Neural Networks	6
Scenario Based Run-Time Switching for Adaptive CNN-Based Applications at the Edge	6
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning	6
Benchmarking and Configuring Security Levels in Intermittent Computing	6
Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors	6
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	6

SensiX++: Bringing MLOps and Multi-tenant Model Serving to Sensory Edge Devices	6
Resource-demand Estimation for Edge Tensor Processing Units	6
Algorithm-hardware Co-design of Attention Mechanism on FPGA Devices	5
Trustworthy Autonomous System Development	5
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection	5
FLASH: F ast Neura l A rchitecture S earch with H ardware	5
A Hybrid Sparse-dense Defensive DNN Accelerator Architecture against Adversarial Example Attacks	5
Dynamic Cluster Head Selection in WSN	5
Optimal Synthesis of Robust IDK Classifier Cascades	5
EASYR: E nergy-Efficient A daptive Sy stem R econfiguration for Dynamic Dead	5
Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks	5
ETAP: Energy-aware Timing Analysis of Intermittent Programs	5
NAVIDRO, a CARES architectural style for configuring drone co-simulation	5
Energy-Efficient Approximate Edge Inference Systems	5
A Secure and Efficient Framework for Outsourcing Large-scale Matrix Determinant and Linear Equations	5
A Hybrid Target Selection Model of Functional Safety Compliance for Autonomous Driving System	5
DNN Is Not All You Need: Parallelizing Non-neural ML Algorithms on Ultra-low-power IoT Processors	5
CIM: A Novel Clustering-based Energy-Efficient Data Imputation Method for Human Activity Recognition	5
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators	5
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines	5
ACM TECS Special Issue on Embedded System Security Tutorials	5
A Unified Approach to a Secure and Lightweight Mutual Authentication Protocol Using Pre-Characterized COTS SRAM ICs for IoT Applications	5
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications	5
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge	5
PISCOT: A Pipelined Split-Transaction COTS-Coherent Bus for Multi-Core Real-Time Systems	5
Tutorial: Toward Robust Deep Learning against Poisoning Attacks	5
REPAIRS: Gaussian Mixture Model-based Completion and Optimization of Partially Specified Systems	5
LATTE: L STM Self- Att ention based Anomaly Detection in E mbedded Automotive Platforms	5
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models	5
End-To-End Latency of Cause-Effect Chains: A Tutorial	5
Reconfigurable System-on-Chip Architectures for Robust Visual SLAM on Humanoid Robots	5
LiteHash: Hash Functions for Resource-Constrained Hardware	5
PReFeR : P hysically Re lated F unction bas e d R	5
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF	5
Flexible Updating of Internet of Things Computing Functions through Optimizing Dynamic Partial Reconfiguration	5
Methods to Realize Preemption in Phased Execution Models	5
Intermediary Output Caching for Diffusion Model-Based Text-to-Image GenAI Services in Edge Computing Networks	4
Evaluating Controlled Memory Request Injection for Efficient Bandwidth Utilization and Predictable Execution in Heterogeneous SoCs	4
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems	4
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	4
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies	4
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults	4
CNN-based Robust Sound Source Localization with SRP-PHAT for the Extreme Edge	4
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance	4
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks	4
Exploring Efficient Architectures on Remote In-Memory NVM over RDMA	4
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations	4
Efficient Implementation of LinearUCB through Algorithmic Improvements and Vector Computing Acceleration for Embedded Learning Systems	4
Risk of Stochastic Systems for Temporal Logic Specifications	4
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning	4
Diwall: A Lightweight Host Intrusion Detection System Against Jamming and Packet Injection Attacks	4
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs	4
Side-channel Analysis of Lattice-based Post-quantum Cryptography: Exploiting Polynomial Multiplication	4
P 2 SDS : A Polynomial-Time Pattern-Guided Stable Dynamic Scheduling for Weakly Hard Control Task Systems	4
Hardware Performance Counters: Ready-Made vs Tailor-Made	4
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	4
CEDR: A Compiler-integrated, Extensible DSSoC Runtime	4
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	4
Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice	4
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	4
CRIMP: C ompact & R eliable DNN Inference on I n- M emory	4
SLEXNet: Adaptive Inference Using Slimmable Early Exit Neural Networks	4
DL-RSIM: A Reliability and Deployment Strategy Simulation Framework for ReRAM-based CNN Accelerators	4
GHOST: A Graph Neural Network Accelerator using Silicon Photonics	4
Toward Next Generation Quantum-Safe eIDs and eMRTDs: A Survey	4
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator	4
Efficient Realization of Decision Trees for Real-Time Inference	4
FARSI: An Early-stage Design Space Exploration Framework to Tame the Domain-specific System-on-chip Complexity	3
REPAIR: Control Flow Protection based on Register Pairing Updates for SW-Implemented HW Fault Tolerance	3
OnSRAM: Efficient Inter-Node On-Chip Scratchpad Management in Deep Learning Accelerators	3
Characterizing Parameter Scaling with Quantization for Deployment of CNNs on Real-Time Systems	3
IOSR: Improving I/O Efficiency for Memory Swapping on Mobile Devices Via Scheduling and Reshaping	3
Introduction to the Special Issue on Formal Methods and Models for System Design	3
Brain-inspired Cognition in Next-generation Racetrack Memories	3
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction	3
Reordering Functions in Mobiles Apps for Reduced Size and Faster Start-Up	3
STADIA: Photonic Stochastic Gradient Descent for Neural Network Accelerators	3
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing	3
High-Performance Implementation of the Identity-Based Signature Scheme in IEEE P1363 on GPU	3
SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control	3
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	3
Secure and Lightweight Blockchain-based Truthful Data Trading for Real-Time Vehicular Crowdsensing	3
NIR-sighted: A Programmable Streaming Architecture for Low-Energy Human-Centric Vision Applications	3
wfspan: Wait-free Dynamic Memory Management	3
Hardware Trojan Detection Using Machine Learning: A Tutorial	3
EMS-i : An Efficient Memory System Design with Specialized Caching Mechanism for Recommendation Inference	3
ALOHA-FP2I: Efficient Algorithms and Hardware for Multi-Mode Rounding of Floating Point to Integer	3
Data Pattern Aware Reliability Enhancement Scheme for 3D Solid-State Drives	3
Prepare: P owe r -Awar e A p proximate Re a l	3
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems	3
PredATW: Predicting the Asynchronous Time Warp Latency For VR Systems	3
A Comprehensive Model for Efficient Design Space Exploration of Imprecise Computational Blocks	3
SensorGAN: A Novel Data Recovery Approach for Wearable Human Activity Recognition	3
Efficient Deep Learning Infrastructures for Embedded Computing Systems: A Comprehensive Survey and Future Envision	3
AxOTreeS : A Tree S earch Approach to Synthesizing FPGA-based A ppro x	3