ACM Transactions on Embedded Computing Systems

Article	Citations
A Novel Lattice-Based Fault Injection Attack Targeting the Nonce in the SM2 Digital Signature Algorithm	75
Model-based Toolchain for Core Flight System (cFS) Embedded Systems	60
REC: REtime Convolutional Layers to Fully Exploit Harvested Energy for ReRAM-based CNN Accelerators	59
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning	56
SideDRAM: Integrating SoftSIMD Datapaths near DRAM Banks for Energy-Efficient Variable Precision Computation	55
Introduction to the Special Issue on Memory and Storage Systems for Embedded and IoT Applications	53
CapDYN : Adaptive Self-Scaling Energy Storage for Powering Batteryless IoT	51
A Unified Programmable Edge Matrix Processor for Deep Neural Networks and Matrix Algebra	51
Holistic Resource Allocation Under Federated Scheduling for Parallel Real-time Tasks	44
FLASH: Deadline-Aware Flexible LLC Arbitration and Scheduling for Hardware Accelerators	44
ViT4Mal: Lightweight Vision Transformer for Malware Detection on Edge Devices	42
Optimizing AES-GCM on 32-Bit ARM Cortex-M4 Microcontrollers: Fixslicing and FACE-Based Approach	41
A Comprehensive Survey on Deep Learning-based Predictive Maintenance	40
Contention Grading and Adaptive Model Selection for Machine Vision in Embedded Systems	37
TAFP-ViT: A Transformer Accelerator via QKV Computational Fusion and Adaptive Pruning for Vision Transformer	35
Graph Transformations for Memory Peak Minimization by Scheduling	34
Neural Abstraction-Based Controller Synthesis and Deployment	33
WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android	32
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities	31
IoV-Fog-Assisted Framework for Accident Detection and Classification	30
A Self-Sustained CPS Design for Reliable Wildfire Monitoring	28
Large or Small: Harnessing the Erase Duality of Emerging Bit-Alterable NAND Flash to Suppress Tail Latency	27
VoxDepth : Rectification of Depth Images on Edge Devices	25
More Is Less: Model Augmentation for Intermittent Deep Inference	25
Securing Pacemakers Using Runtime Monitors over Physiological Signals	24

Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches	24
Reg-Tune: A Regression-Focused Fine-Tuning Approach for Profiling Low Energy Consumption and Latency	24
Kryptonite: Worst-Case Program Interference Estimation on Multi-Core Embedded Systems	23
Towards Building Verifiable CPS using Lingua Franca	23
FSIMR: File-system-aware Data Management for Interlaced Magnetic Recording	23
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations	22
Mining Hyperproperties using Temporal Logics	21
Unlocking the Full Potential of Dual-Interface SSDs: A Comprehensive Hardware and Software Perspective	21
DyCo: Dynamic, Contextualized AI Models	20
Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System	20
Automatic Generation of Resource and Accuracy Configurable Processing Elements	19
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images	19
DynHaMo: Dynamic Hardware-Based Monitoring Dedicated to Attacks Detection	18
Star-Set Based Efficient Reachable Set Computation of Anytime Sensing-Based Neural Network-Controlled Dynamical Systems	18
Supervisory Control for Dynamic Feature Configuration in Product Lines	17
Scalable Binary Neural Network Applications in Oblivious Inference	17
BASS: Safe Deep Tissue Optical Sensing for Wearable Embedded Systems	17
An Efficient and Flexible Stochastic CGRA Mapping Approach	17
Performance Modeling of Computer Vision-based CNN on Edge GPUs	17
Automatic Generation of Fast and Accurate Performance Models for Deep Neural Network Accelerators	17
Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances	16
PEak: A Single Source of Truth for Hardware Design and Verification	16
CARIn: Constraint-Aware and Responsive Inference on Heterogeneous Devices for Single- and Multi-DNN Workloads	16
Middleware for Distributed Applications in a LoRa Mesh Network	16
EXPRESS: A Framework for Execution Time Prediction of Concurrent CNNs on Xilinx DPU Accelerator	16
Multi-Compression Scale DNN Inference Acceleration based on Cloud-Edge-End Collaboration	15
RPFF-PA : Reliable and Parallel Fault-tolerant Framework for Path Latency Reduction Deployed in Register Arrays	15
Reaction Latency Analysis of Message Synchronization in Edge-assisted Autonomous Driving	15
Improving Worst-case TSN Communication Times of Large Sensor Data Samples by Exploiting Synchronization	15
FC-GPU: Feedback Control GPU Scheduling for Real-time Embedded Systems	14
SecuPilot: A Security Coprocessor-Integrated Platform for Autonomous UAV Security	14
Boosting Cryptographic ICs’ Side-Channel Resistance: A Formal Framework for Automatic Identification and Protection of Leaky Paths	14
DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips	14
Specifying and Compiling Scalable Networks of Actors for Software and Hardware Platforms	13
Software-Managed Read and Write Wear-Leveling for Non-Volatile Main Memory	13
Early DSE and Automatic Generation of Coarse-grained Merged Accelerators	13
Criticality-aware Monitoring and Orchestration for Containerized Industry 4.0 Environments	13
A Write-Related and Read-Related DRAM Allocation Strategy Inside Solid-State Drives (SSDs)	13
Optimus: An Operator Fusion Framework for Deep Neural Networks	13
Federated Self-training for Semi-supervised Audio Recognition	12
WARM-tree: Making Quadtrees Write-efficient and Space-economic on Persistent Memories	12
System Scenario-Based Design of the Last-Level Cache in Advanced Interconnect-Dominant Technology Nodes	12
An Energy-Efficient DRAM Cache Architecture for Mobile Platforms With PCM-Based Main Memory	11
Latency-Aware Pruning and Quantization of Self-Supervised Speech Transformers for Edge Devices	11
Introduction to the Special Issue on Accelerating AI on the Edge – Part 1	11
CIMFlow: Modelling Dataflow in Cross-Layer Compute-in-Memory Deep Learning Accelerators	11
Efficient and Robust Edge AI: Software, Hardware, and the Co-design	11
Leveraging Computational Storage for Power-Efficient Distributed Data Analytics	11
A Hierarchical Classification Method for High-accuracy Instruction Disassembly with Near-field EM Measurements	11
DOCTOR: A Multi-Disease Detection Continual Learning Framework Based on Wearable Medical Sensors	11

Coarse-Grained Task Parallelization by Dynamic Profiling for Heterogeneous SoC-Based Embedded System	11
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators	10
XimSwap: Many-to-Many Face Swapping for TinyML	10
A Highly Hardware Efficient ML-KEM Accelerator with Optimised Architectural Layers	10
AdaTest: Reinforcement Learning and Adaptive Sampling for On-chip Hardware Trojan Detection	10
Telomere: Real-Time NAND Flash Storage	10
A Robust and Energy Efficient Hyperdimensional Computing System for Voltage-scaled Circuits	10
TAB: Unified and Optimized Ternary, Binary, and Mixed-precision Neural Network Inference on the Edge	10
Elements of Timed Pattern Matching	10
Analog In-memory Circuit Design of Polynomial Multiplication for Lattice Cipher Acceleration Application	10
ZIP-CNN: Design Space Exploration for CNN Implementation within a MCU	10
A Predictable QoS-aware Memory Request Scheduler for Soft Real-time Systems	10
Wireless Perceptual Space Modeling Method for Cross-Domain Human Activity Recognition	9
HDLRuby: A Ruby Extension for Hardware Description and Its Translation to Synthesizable Verilog HDL	9
Fast Loosely-Timed Deep Neural Network Models with Accurate Memory Contention	9
RTPL: A Real-Time Communication Protocol for LoRa Network	9
Store-n-Learn: Classification and Clustering with Hyperdimensional Computing across Flash Hierarchy	9
Application-Level Evaluation of IEEE 802.1AS Synchronized Time and Linux for Distributed Real-Time Systems	9
Faster Implementation of Ideal Lattice-Based Cryptography Using AVX512	9
A Load-Balanced Collaborative Repair Algorithm for Single-Disk Failures in Erasure Coded Storage Systems	9
Probabilistic Reaction Time Analysis	9
Toward Optimal Softcore Carry-aware Approximate Multipliers on Xilinx FPGAs	9
TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-based Inference	9
Virtualizing a Post-Moore’s Law Analog Mesh Processor: The Case of a Photonic PDE Accelerator	8
Florets for Chiplets: Data Flow-aware High-Performance and Energy-efficient Network-on-Interposer for CNN Inference Tasks	8
Tutorial: A Novel Runtime Environment for Accelerator-Rich Heterogeneous Architectures	8
An Efficient CNN Accelerator for Low-Cost Edge Systems	8
Challenges and Opportunities of Security-Aware EDA	8
VADF: V ersatile A pproximate D ata F ormats for Energy-Efficient Computing	8
RegKey: A Register-based Implementation of ECC Signature Algorithms Against One-shot Memory Disclosure	8
DynO: Dynamic Onloading of Deep Neural Networks from Cloud to Device	8
Domain-Specific Architectures: Research Problems and Promising Approaches	8
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators	8
Analysis of EM Fault Injection on Bit-sliced Number Theoretic Transform Software in Dilithium	8
CABARRE: Request Response Arbitration for Shared Cache Management	8
Hierarchical Resource Orchestration Framework for Real-time Containers	8
Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis	8
Dataflow Driven Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems	8
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques	8
HSPA: High-Throughput Sparse Polynomial Multiplication for Code-based Post-Quantum Cryptography	7
Robust Embedded Autonomous Driving Positioning System Fusing LiDAR and Inertial Sensors	7
SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Networks	7
????????????????????????: Utilizing Hyperdimensional Computing for a More Robust and Efficient Machine Learning System	7
Register Blocking: A Source-to-Source Analytical Modelling Approach for Affine Loop Kernels	7
TimelyNet: Adaptive Neural Architecture for Autonomous Driving with Dynamic Deadline	7
Design Flow for Scheduling Spiking Deep Convolutional Neural Networks on Heterogeneous Neuromorphic System-on-chip	7
Regular Composite Resource Partitioning and Reconfiguration in Open Systems	7
FT-DAG: An Efficient Full-Topology DAG Generator with Controllable Parameters	7
Optimal Control for Industrial Multi-Component CPS via Path-Encoding-Based Joint Optimization	7
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency	7
Attack-resilient Fusion of Sensor Data with Uncertain Delays	7
GINA: Exploiting Graph Neural Network Layer Features for Energy Efficient Inferencing in NVM-based PIM Accelerators	7
COBRRA: COntention-aware cache Bypass with Request-Response Arbitration	7
A Compact and Parallel Swap-Based Shuffler Based on Butterfly Network and Its Complexity Against Side Channel Analysis	7
An Intermediate-Centric Dataflow for Transposed Convolution Acceleration on FPGA	7
Designing High-Performance and Thermally Feasible Multi-Chiplet Architectures Enabled by Non-Bendable Glass Interposer	7
Lightweight Champions of the World: Side-Channel Resistant Open Hardware for Finalists in the NIST Lightweight Cryptography Standardization Process	7
Selective Subarray Isolation for Mitigating RowHammer Attack	7
An Investigation on Hardware-Aware Vision Transformer Scaling	7
Code Generation for Neural Networks Based on Fixed-point Arithmetic	7
Combining Weight Approximation, Sharing and Retraining for Neural Network Model Compression	6
A Survey of Blockchain Data Management Systems	6
ASTRA: A Stochastic Transformer Neural Network Accelerator with Silicon Photonics	6
RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing	6
Benchmarking and Configuring Security Levels in Intermittent Computing	6
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems	6
SPHINCSLET: An Area-Efficient Accelerator for the Full SPHINCS+ Digital Signature Algorithm	6
CORIDOR: Using CO herence and Tempo R al Local I ty to Mitigate Read D isurb	6
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	6
Improving Robustness in IoT Malware Detection through Execution Order Analysis	6
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	6
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	6
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning	6
Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs	6
Verified Compilation of Synchronous Dataflow with State Machines	6
HeterogeneousRTOS: A CPU-FPGA Real-Time OS for Fault Tolerance on COTS at Near-Zero Timing Cost	6
MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation	6
Scenario Based Run-Time Switching for Adaptive CNN-Based Applications at the Edge	6
MaGrIP: Magnitude and Gradient-Informed Pruning for Task-Agnostic Large Language Models	6
High-Level Approaches to Hardware Security: A Tutorial	6

Software Optimization and Design Methodology for Low Power Computer Vision Systems	6
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	5
PISCOT: A Pipelined Split-Transaction COTS-Coherent Bus for Multi-Core Real-Time Systems	5
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines	5
A Secure and Efficient Framework for Outsourcing Large-scale Matrix Determinant and Linear Equations	5
Methods to Realize Preemption in Phased Execution Models	5
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection	5
Trustworthy Autonomous System Development	5
Optimal Synthesis of Robust IDK Classifier Cascades	5
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge	5
A Unified Approach to a Secure and Lightweight Mutual Authentication Protocol Using Pre-Characterized COTS SRAM ICs for IoT Applications	5
CIM: A Novel Clustering-based Energy-Efficient Data Imputation Method for Human Activity Recognition	5
PReFeR : P hysically Re lated F unction bas e d R	5
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models	5
NAVIDRO, a CARES architectural style for configuring drone co-simulation	5
SensiX++: Bringing MLOps and Multi-tenant Model Serving to Sensory Edge Devices	5
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators	5
Energy-Efficient Approximate Edge Inference Systems	5
Tutorial: Toward Robust Deep Learning against Poisoning Attacks	5
A Hybrid Sparse-dense Defensive DNN Accelerator Architecture against Adversarial Example Attacks	5
A Hybrid Target Selection Model of Functional Safety Compliance for Autonomous Driving System	5
A Configurable CRYSTALS-Kyber Hardware Implementation with Side-Channel Protection	5
Resource-demand Estimation for Edge Tensor Processing Units	5
ETAP: Energy-aware Timing Analysis of Intermittent Programs	5
ACM TECS Special Issue on Embedded System Security Tutorials	5
Reconfigurable System-on-Chip Architectures for Robust Visual SLAM on Humanoid Robots	5
Block Walsh–Hadamard Transform-based Binary Layers in Deep Neural Networks	5
Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks	5
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms	5
REPAIRS: Gaussian Mixture Model-based Completion and Optimization of Partially Specified Systems	5
Intermediary Output Caching for Diffusion Model-Based Text-to-Image GenAI Services in Edge Computing Networks	4
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	4
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	4
Metareasoning for Edge-Cloud Collaborative LLM Planning for Efficient Autonomous Navigation	4
Robust LFSR-based Scrambling to Mitigate Stencil Attack on Main Memory	4
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults	4
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications	4
Special Issue on Open Hardware for Embedded System Security and Cryptography	4
Flexible Updating of Internet of Things Computing Functions through Optimizing Dynamic Partial Reconfiguration	4
Near-Optimal Cache Sharing through Co-Located Parallel Scheduling of Threads	4
LazyTick: Lazy and Efficient Management of Job Release in Real-Time Operating Systems	4
Transfer Schedulability in Periodic Real-Time Systems	4
Evaluating Controlled Memory Request Injection for Efficient Bandwidth Utilization and Predictable Execution in Heterogeneous SoCs	4
Side-channel Analysis of Lattice-based Post-quantum Cryptography: Exploiting Polynomial Multiplication	4
DL-RSIM: A Reliability and Deployment Strategy Simulation Framework for ReRAM-based CNN Accelerators	4
Toward Next Generation Quantum-Safe eIDs and eMRTDs: A Survey	4
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF	4
LiteHash: Hash Functions for Resource-Constrained Hardware	4
FARRE: Fairness Aware Request Response Arbitration in Shared Caches	4
Dynamic Cluster Head Selection in WSN	4
Deep Q-Learning-Based Mobile Charger Path Planning in Wireless Powered Communication Networks	4
Rasco: Resource Allocation and Scheduling Co-design for DAG Applications on Multicore	4
GHOST: A Graph Neural Network Accelerator using Silicon Photonics	4
CRIMP: C ompact & R eliable DNN Inference on I n- M emory	4
P 2 SDS : A Polynomial-Time Pattern-Guided Stable Dynamic Scheduling for W	4
CNN-based Robust Sound Source Localization with SRP-PHAT for the Extreme Edge	4
Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems	4
DNN Is Not All You Need: Parallelizing Non-neural ML Algorithms on Ultra-low-power IoT Processors	4
EASYR: E nergy-Efficient A daptive Sy stem R econfiguration for Dynamic Dead	4
End-To-End Latency of Cause-Effect Chains: A Tutorial	4
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance	4
Diwall: A Lightweight Host Intrusion Detection System Against Jamming and Packet Injection Attacks	4
Synchronised Shared Memory and Model Checking	3
Time-Series Forecasting and Sequence Learning Using Memristor-based Reservoir System	3
An Energy Minimization Approach for Periodic Tasks with Data Dependencies in Heterogeneous Systems	3
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	3
A Tunable Generic Meta-Heuristic Framework for Balancing Assembly Line Systems in Manufacturing	3
Efficient Implementation of LinearUCB through Algorithmic Improvements and Vector Computing Acceleration for Embedded Learning Systems	3
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations	3
Efficient Realization of Decision Trees for Real-Time Inference	3
Timekeepers: ML-Driven SDF Analysis for Power-Wasters Detection in FPGAs	3
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	3
Constrained Tiny Machine Learning for Predicting Gas Concentration with I4.0 Low-cost Sensors	3
Deductive Verification of Cooperative RTOS Applications	3
The Sparse Synchronous Model on Real Hardware	3
Reduced Memory Viterbi Decoding for Hardware-accelerated Speech Recognition	3
Optimal Split Point Placement for Predictable GPU Wavefront Splitting	3
CEDR: A Compiler-integrated, Extensible DSSoC Runtime	3
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems	3
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning	3
SHARP: SHARing-Aware Cache Writeback byPass	3
Cumulative-Time Signal Temporal Logic	3
SecureRide: Detecting Safety-Threatening Behavior of E-Scooters Using Battery Information	3
Grasp-HGN: Grasping the Unexpected	3
Introduction to Special Issue on In/Near Memory and Storage Computing for Embedded Systems	3
AQuA: A New Image Quality Metric for Optimizing Video Analytics Systems	3
ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF	3
Rethinking the Interactivity of OS and Device Layers in Memory Management	3
OffloaD: Detection Failure-based Scheduler for Offloading Object Detection	3
Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice	3
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems	3
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	3
Re-thinking Memory-Bound Limitations in CGRAs	3
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies	3
Hardware Area Efficient and Real-Time FPGA Implementation of PHMMRGB.	3