ACM Transactions on Embedded Computing Systems

Article	Citations
REC: REtime Convolutional Layers to Fully Exploit Harvested Energy for ReRAM-based CNN Accelerators	65
Introduction to the Special Issue on Memory and Storage Systems for Embedded and IoT Applications	53
Contention Grading and Adaptive Model Selection for Machine Vision in Embedded Systems	52
Model-based Toolchain for Core Flight System (cFS) Embedded Systems	50
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis	42
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning	41
Holistic Resource Allocation Under Federated Scheduling for Parallel Real-time Tasks	37
Hardware Acceleration for Embedded Keyword Spotting: Tutorial and Survey	36
A Unified Programmable Edge Matrix Processor for Deep Neural Networks and Matrix Algebra	35
RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping	34
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems	33
A Comprehensive Survey on Deep Learning-based Predictive Maintenance	32
ViT4Mal: Lightweight Vision Transformer for Malware Detection on Edge Devices	31
A Self-Sustained CPS Design for Reliable Wildfire Monitoring	29
IoV-Fog-Assisted Framework for Accident Detection and Classification	29
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities	29
Neural Abstraction-Based Controller Synthesis and Deployment	29
More Is Less: Model Augmentation for Intermittent Deep Inference	28
WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android	28
Declarative Power Sequencing	28
Graph Transformations for Memory Peak Minimization by Scheduling	26
Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches	24
Securing Pacemakers using Runtime Monitors over Physiological Signals	23
Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System	23
SIAM: Chiplet-based Scalable In-Memory Acceleration with Mesh for Deep Neural Networks	23

Towards Building Verifiable CPS using Lingua Franca	23
FSIMR: File-system-aware Data Management for Interlaced Magnetic Recording	22
An Efficient and Flexible Stochastic CGRA Mapping Approach	22
Automatic Generation of Resource and Accuracy Configurable Processing Elements	21
Regime Inference for Sound Floating-Point Optimizations	20
Performance Modeling of Computer Vision-based CNN on Edge GPUs	20
Automatic Generation of Fast and Accurate Performance Models for Deep Neural Network Accelerators	20
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping	20
Scalable Binary Neural Network Applications in Oblivious Inference	19
IoT-Fog-Cloud Centric Earthquake Monitoring and Prediction	19
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images	19
Mining Hyperproperties using Temporal Logics	18
DyCo: Dynamic, Contextualized AI Models	18
Reg-Tune: A Regression-Focused Fine-Tuning Approach for Profiling Low Energy Consumption and Latency	18
Federated Self-training for Semi-supervised Audio Recognition	17
Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances	17
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations	17
CARIn: Constraint-Aware and Responsive Inference on Heterogeneous Devices for Single- and Multi-DNN Workloads	17
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks	17
PEak: A Single Source of Truth for Hardware Design and Verification	17
Kryptonite: Worst-Case Program Interference Estimation on Multi-Core Embedded Systems	17
BASS: Safe Deep Tissue Optical Sensing for Wearable Embedded Systems	16
Early DSE and Automatic Generation of Coarse-grained Merged Accelerators	16
Improving Worst-case TSN Communication Times of Large Sensor Data Samples by Exploiting Synchronization	15
RPFF-PA : Reliable and Parallel Fault-tolerant Framework for Path Latency Reduction Deployed in Register Arrays	15
DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips	15
EXPRESS: A Framework for Execution Time Prediction of Concurrent CNNs on Xilinx DPU Accelerator	15
Optimus: An Operator Fusion Framework for Deep Neural Networks	15
Software-Managed Read and Write Wear-Leveling for Non-Volatile Main Memory	14
Supervisory Control for Dynamic Feature Configuration in Product Lines	14
Criticality-aware Monitoring and Orchestration for Containerized Industry 4.0 Environments	14
A Write-Related and Read-Related DRAM Allocation Strategy Inside Solid-State Drives (SSDs)	14
Multi-Compression Scale DNN Inference Acceleration based on Cloud-Edge-End Collaboration	14
XimSwap: Many-to-Many Face Swapping for TinyML	13
Coarse-Grained Task Parallelization by Dynamic Profiling for Heterogeneous SoC-Based Embedded System	13
Introduction to the Special Issue on Accelerating AI on the Edge – Part 1	13
Rtkaller: State-aware Task Generation for RTOS Fuzzing	13
A Hierarchical Classification Method for High-accuracy Instruction Disassembly with Near-field EM Measurements	13
WARM-tree: Making Quadtrees Write-efficient and Space-economic on Persistent Memories	13
A Highly Hardware Efficient ML-KEM Accelerator with Optimised Architectural Layers	13
Elements of Timed Pattern Matching	12
ZIP-CNN: Design Space Exploration for CNN Implementation within a MCU	12
A Robust and Energy Efficient Hyperdimensional Computing System for Voltage-scaled Circuits	12
Leveraging Computational Storage for Power-Efficient Distributed Data Analytics	12
Analog In-memory Circuit Design of Polynomial Multiplication for Lattice Cipher Acceleration Application	12
Telomere: Real-Time NAND Flash Storage	12
RTPL: A Real-Time Communication Protocol for LoRa Network	11
An Energy-Efficient DRAM Cache Architecture for Mobile Platforms With PCM-Based Main Memory	11
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators	11
A Predictable QoS-aware Memory Request Scheduler for Soft Real-time Systems	11

Efficient and Robust Edge AI: Software, Hardware, and the Co-design	11
Store-n-Learn: Classification and Clustering with Hyperdimensional Computing across Flash Hierarchy	11
DOCTOR: A Multi-Disease Detection Continual Learning Framework Based on Wearable Medical Sensors	11
AdaTest: Reinforcement Learning and Adaptive Sampling for On-chip Hardware Trojan Detection	11
TAB: Unified and Optimized Ternary, Binary, and Mixed-precision Neural Network Inference on the Edge	10
DynO: Dynamic Onloading of Deep Neural Networks from Cloud to Device	10
CABARRE: Request Response Arbitration for Shared Cache Management	10
Toward Optimal Softcore Carry-aware Approximate Multipliers on Xilinx FPGAs	10
Florets for Chiplets: Data Flow-aware High-Performance and Energy-efficient Network-on-Interposer for CNN Inference Tasks	9
RegKey: A Register-based Implementation of ECC Signature Algorithms Against One-shot Memory Disclosure	9
Probabilistic Reaction Time Analysis	9
TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-based Inference	9
An Efficient CNN Accelerator for Low-Cost Edge Systems	9
Hierarchical Resource Orchestration Framework for Real-time Containers	9
HDLRuby: A Ruby Extension for Hardware Description and Its Translation to Synthesizable Verilog HDL	9
VADF: V ersatile A pproximate D ata F ormats for Energy-Efficient Computing	9
Faster Implementation of Ideal Lattice-Based Cryptography Using AVX512	9
Wireless Perceptual Space Modeling Method for Cross-Domain Human Activity Recognition	9
Virtualizing a Post-Moore’s Law Analog Mesh Processor: The Case of a Photonic PDE Accelerator	9
Domain-Specific Architectures: Research Problems and Promising Approaches	9
Fast Loosely-Timed Deep Neural Network Models with Accurate Memory Contention	9
Application-Level Evaluation of IEEE 802.1AS Synchronized Time and Linux for Distributed Real-Time Systems	9
Tutorial: A Novel Runtime Environment for Accelerator-Rich Heterogeneous Architectures	9
Robust Embedded Autonomous Driving Positioning System Fusing LiDAR and Inertial Sensors	8
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
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities	8
????????????????????????: Utilizing Hyperdimensional Computing for a More Robust and Efficient Machine Learning System	8
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems	8
Code Generation for Neural Networks Based on Fixed-point Arithmetic	8
Dataflow Driven Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems	8
Challenges and Opportunities of Security-Aware EDA	8
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction	8
SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Networks	8
Software Optimization and Design Methodology for Low Power Computer Vision Systems	8
COBRRA: COntention-aware cache Bypass with Request-Response Arbitration	8
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques	8
An Intermediate-Centric Dataflow for Transposed Convolution Acceleration on FPGA	8
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency	8
Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis	8
A Design Flow for Scheduling Spiking Deep Convolutional Neural Networks on Heterogeneous Neuromorphic System-on-Chip	8
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems	8
High-Level Approaches to Hardware Security: A Tutorial	7
An Investigation on Hardware-Aware Vision Transformer Scaling	7
A Compact and Parallel Swap-Based Shuffler Based on Butterfly Network and Its Complexity Against Side Channel Analysis	7
Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge	7
CORIDOR: Using CO herence and Tempo R al Local I ty to Mitigate Read D isurb	7
Regular Composite Resource Partitioning and Reconfiguration in Open Systems	7
Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs	7
SPHINCSLET: An Area-Efficient Accelerator for the Full SPHINCS+ Digital Signature Algorithm	7
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications	7
Benchmarking and Configuring Security Levels in Intermittent Computing	7
Attack-resilient Fusion of Sensor Data with Uncertain Delays	7
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs	7
HSPA: High-Throughput Sparse Polynomial Multiplication for Code-based Post-Quantum Cryptography	7
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare	7
A Survey of Blockchain Data Management Systems	7
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning	6
Combining Weight Approximation, Sharing and Retraining for Neural Network Model Compression	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
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines	6
A Configurable CRYSTALS-Kyber Hardware Implementation with Side-Channel Protection	6
Improving Robustness in IoT Malware Detection through Execution Order Analysis	6
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	6
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	6
Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors	6
Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks	6
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	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
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	6
Exploiting Activation Sparsity for Fast CNN Inference on Mobile GPUs	6
A Hybrid Sparse-dense Defensive DNN Accelerator Architecture against Adversarial Example Attacks	6
Resource-demand Estimation for Edge Tensor Processing Units	5
Algorithm-hardware Co-design of Attention Mechanism on FPGA Devices	5
Flexible Updating of Internet of Things Computing Functions through Optimizing Dynamic Partial Reconfiguration	5
LiteHash: Hash Functions for Resource-Constrained Hardware	5
AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models	5
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms	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
CIM: A Novel Clustering-based Energy-Efficient Data Imputation Method for Human Activity Recognition	5
Tutorial: Toward Robust Deep Learning against Poisoning Attacks	5
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF	5
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection	5
DNN Is Not All You Need: Parallelizing Non-neural ML Algorithms on Ultra-low-power IoT Processors	5
A Hybrid Target Selection Model of Functional Safety Compliance for Autonomous Driving System	5
Optimal Synthesis of Robust IDK Classifier Cascades	5
PReFeR : P hysically Re lated F unction bas e d R	5
Trustworthy Autonomous System Development	5
SensiX++: Bringing MLOps and Multi-tenant Model Serving to Sensory Edge Devices	5
ETAP: Energy-aware Timing Analysis of Intermittent Programs	5
REPAIRS: Gaussian Mixture Model-based Completion and Optimization of Partially Specified Systems	5
Energy-Efficient Approximate Edge Inference Systems	5
PISCOT: A Pipelined Split-Transaction COTS-Coherent Bus for Multi-Core Real-Time Systems	5
Dynamic Cluster Head Selection in WSN	4
LATTE: L STM Self- Att ention based Anomaly Detection in E mbedded Automotive Platforms	4
GHOST: A Graph Neural Network Accelerator using Silicon Photonics	4
Toward Next Generation Quantum-Safe eIDs and eMRTDs: A Survey	4
Side-channel Analysis of Lattice-based Post-quantum Cryptography: Exploiting Polynomial Multiplication	4
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems	4
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications	4
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance	4
ACM TECS Special Issue on Embedded System Security Tutorials	4
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators	4
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge	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
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies	4
Evaluating Controlled Memory Request Injection for Efficient Bandwidth Utilization and Predictable Execution in Heterogeneous SoCs	4
EASYR: E nergy-Efficient A daptive Sy stem R econfiguration for Dynamic Dead	4
FLASH: F ast Neura l A rchitecture S earch with H ardware	4
End-To-End Latency of Cause-Effect Chains: A Tutorial	4
NAVIDRO, a CARES architectural style for configuring drone co-simulation	4
CNN-based Robust Sound Source Localization with SRP-PHAT for the Extreme Edge	4
DL-RSIM: A Reliability and Deployment Strategy Simulation Framework for ReRAM-based CNN Accelerators	4
Risk of Stochastic Systems for Temporal Logic Specifications	4
Hardware Performance Counters: Ready-Made vs Tailor-Made	4
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults	4
A Secure and Efficient Framework for Outsourcing Large-scale Matrix Determinant and Linear Equations	4
Methods to Realize Preemption in Phased Execution Models	4
OffloaD: Detection Failure-based Scheduler for Offloading Object Detection	3
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	3
ALOHA-FP2I: Efficient Algorithms and Hardware for Multi-Mode Rounding of Floating Point to Integer	3
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing	3
Secure and Lightweight Blockchain-based Truthful Data Trading for Real-Time Vehicular Crowdsensing	3
Efficient Deep Learning Infrastructures for Embedded Computing Systems: A Comprehensive Survey and Future Envision	3
Constrained Tiny Machine Learning for Predicting Gas Concentration with I4.0 Low-cost Sensors	3
Asynchronous Compaction Acceleration Scheme for Near-data Processing-enabled LSM-tree-based KV Stores	3
Introduction to Special Issue on In/Near Memory and Storage Computing for Embedded Systems	3
Efficient Realization of Decision Trees for Real-Time Inference	3
Time-Series Forecasting and Sequence Learning Using Memristor-based Reservoir System	3
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning	3
Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems	3
SLEXNet: Adaptive Inference Using Slimmable Early Exit Neural Networks	3
Exploring Efficient Architectures on Remote In-Memory NVM over RDMA	3
Intermediary Output Caching for Diffusion Model-Based Text-to-Image GenAI Services in Edge Computing Networks	3
ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF	3
EMS-i : An Efficient Memory System Design with Specialized Caching Mechanism for Recommendation Inference	3
Data Pattern Aware Reliability Enhancement Scheme for 3D Solid-State Drives	3
Hardware-friendly User-specific Machine Learning for Edge Devices	3
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations	3
Towards an Integrated Vehicle Management System in DriveOS	3
Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice	3
Synchronised Shared Memory and Model Checking	3
AQuA: A New Image Quality Metric for Optimizing Video Analytics Systems	3
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	3
The Sparse Synchronous Model on Real Hardware	3
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks	3
Reduced Memory Viterbi Decoding for Hardware-accelerated Speech Recognition	3
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	3
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	3
Hardware Area Efficient and Real-Time FPGA Implementation of PHMMRGB.	3
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems	3
STADIA: Photonic Stochastic Gradient Descent for Neural Network Accelerators	3
PredATW: Predicting the Asynchronous Time Warp Latency For VR Systems	3
Post-Quantum Signatures on RISC-V with Hardware Acceleration	3
Schedulability Analysis for Timed Automata With Tasks	3
Side-channel and Fault-injection attacks over Lattice-based Post-quantum Schemes (Kyber, Dilithium): Survey and New Results	3
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems	3
CEDR: A Compiler-integrated, Extensible DSSoC Runtime	3
Rethinking the Interactivity of OS and Device Layers in Memory Management	3
CRIMP: C ompact & R eliable DNN Inference on I n- M emory	3
SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control	3
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator	3
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	3
Mobile or FPGA? A Comprehensive Evaluation on Energy Efficiency and a Unified Optimization Framework	2
Towards a Rust-Like Borrow Checker for C	2
A Space-Grained Cleaning Method to Reduce Long-Tail Latency of DM-SMR Disks	2
Special Issue on Post-Quantum Cryptography for Embedded Systems	2
Probabilistic Risk-Aware Scheduling with Deadline Constraint for Heterogeneous SoCs	2
A Hardware Approach For Accelerating Inductive Learning In Description Logic	2
A Workload-Balance-Aware Accelerator Enabling Dense-to-Arbitrary-Sparse Neural Networks	2
FD-CNN: A Frequency-Domain FPGA Acceleration Scheme for CNN-Based Image-Processing Applications	2