ACM Transactions on Embedded Computing Systems

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

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

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

RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing	5
PISCOT: A Pipelined Split-Transaction COTS-Coherent Bus for Multi-Core Real-Time Systems	5
Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks	5
Resource-demand Estimation for Edge Tensor Processing Units	5
A Hybrid Sparse-dense Defensive DNN Accelerator Architecture against Adversarial Example Attacks	5
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	5
A Configurable CRYSTALS-Kyber Hardware Implementation with Side-Channel Protection	5
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	5
SensiX++: Bringing MLOps and Multi-tenant Model Serving to Sensory Edge Devices	5
Optimal Synthesis of Robust IDK Classifier Cascades	5
Reconfigurable System-on-Chip Architectures for Robust Visual SLAM on Humanoid Robots	5
PReFeR : P hysically Re lated F unction bas e d R	5
A Unified Approach to a Secure and Lightweight Mutual Authentication Protocol Using Pre-Characterized COTS SRAM ICs for IoT Applications	5
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	5
Scenario Based Run-Time Switching for Adaptive CNN-Based Applications at the Edge	5
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	5
REPAIRS: Gaussian Mixture Model-based Completion and Optimization of Partially Specified Systems	5
Energy-Efficient Approximate Edge Inference Systems	5
Near-Optimal Cache Sharing through Co-Located Parallel Scheduling of Threads	4
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF	4
End-To-End Latency of Cause-Effect Chains: A Tutorial	4
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults	4
Flexible Updating of Internet of Things Computing Functions through Optimizing Dynamic Partial Reconfiguration	4
LazyTick: Lazy and Efficient Management of Job Release in Real-Time Operating Systems	4
ETAP: Energy-aware Timing Analysis of Intermittent Programs	4
ACM TECS Special Issue on Embedded System Security Tutorials	4
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms	4
Block Walsh–Hadamard Transform-based Binary Layers in Deep Neural Networks	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
P 2 SDS : A Polynomial-Time Pattern-Guided Stable Dynamic Scheduling for Weakly Hard Control Task Systems	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
Dynamic Cluster Head Selection in WSN	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
Tutorial: Toward Robust Deep Learning against Poisoning Attacks	4
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection	4
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge	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
DNN Is Not All You Need: Parallelizing Non-neural ML Algorithms on Ultra-low-power IoT Processors	4
FARRE: Fairness Aware Request Response Arbitration in Shared Caches	4
EASYR: E nergy-Efficient A daptive Sy stem R econfiguration for Dynamic Dead	4
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators	4
NAVIDRO, a CARES architectural style for configuring drone co-simulation	4
LiteHash: Hash Functions for Resource-Constrained Hardware	4
CIM: A Novel Clustering-based Energy-Efficient Data Imputation Method for Human Activity Recognition	4
Trustworthy Autonomous System Development	4
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	3
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	3
Deductive Verification of Cooperative RTOS Applications	3
Hardware Area Efficient and Real-Time FPGA Implementation of PHMMRGB.	3
SLEXNet: Adaptive Inference Using Slimmable Early Exit Neural Networks	3
SHARP: SHARing-Aware Cache Writeback byPass	3
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	3
Re-thinking Memory-Bound Limitations in CGRAs	3
Efficient Implementation of LinearUCB through Algorithmic Improvements and Vector Computing Acceleration for Embedded Learning Systems	3
GHOST: A Graph Neural Network Accelerator using Silicon Photonics	3
CNN-based Robust Sound Source Localization with SRP-PHAT for the Extreme Edge	3
Transfer Schedulability in Periodic Real-Time Systems	3
SecureRide: Detecting Safety-Threatening Behavior of E-Scooters Using Battery Information	3
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	3
ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF	3
Optimal Split Point Placement for Predictable GPU Wavefront Splitting	3
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning	3
Risk of Stochastic Systems for Temporal Logic Specifications	3
Timekeepers: ML-Driven SDF Analysis for Power-Wasters Detection in FPGAs	3
Evaluating Controlled Memory Request Injection for Efficient Bandwidth Utilization and Predictable Execution in Heterogeneous SoCs	3
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs	3
CRIMP: C ompact & R eliable DNN Inference on I n- M emory	3
Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems	3
Robust LFSR-based Scrambling to Mitigate Stencil Attack on Main Memory	3
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies	3
Grasp-HGN: Grasping the Unexpected	3
Constrained Tiny Machine Learning for Predicting Gas Concentration with I4.0 Low-cost Sensors	3
OffloaD: Detection Failure-based Scheduler for Offloading Object Detection	3
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems	3
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems	3
Metareasoning for Edge-Cloud Collaborative LLM Planning for Efficient Autonomous Navigation	3
Cumulative-Time Signal Temporal Logic	3
Intermediary Output Caching for Diffusion Model-Based Text-to-Image GenAI Services in Edge Computing Networks	3
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	3
DL-RSIM: A Reliability and Deployment Strategy Simulation Framework for ReRAM-based CNN Accelerators	3
Toward Next Generation Quantum-Safe eIDs and eMRTDs: A Survey	3
Side-channel Analysis of Lattice-based Post-quantum Cryptography: Exploiting Polynomial Multiplication	3
Efficient Deep Learning Infrastructures for Embedded Computing Systems: A Comprehensive Survey and Future Envision	2
Hardware Trojan Detection Using Machine Learning: A Tutorial	2
IOSR: Improving I/O Efficiency for Memory Swapping on Mobile Devices Via Scheduling and Reshaping	2
Secure and Lightweight Blockchain-based Truthful Data Trading for Real-Time Vehicular Crowdsensing	2
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction	2
FLIP2M: Flexible Intra-layer Parallelism and Inter-layer Pipelining for Multi-model AR/VR Workloads	2
Reordering Functions in Mobiles Apps for Reduced Size and Faster Start-Up	2
SensorGAN: A Novel Data Recovery Approach for Wearable Human Activity Recognition	2
NIR-sighted: A Programmable Streaming Architecture for Low-Energy Human-Centric Vision Applications	2