ACM Transactions on Embedded Computing Systems

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

Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches	25
Reg-Tune: A Regression-Focused Fine-Tuning Approach for Profiling Low Energy Consumption and Latency	25
FSIMR: File-system-aware Data Management for Interlaced Magnetic Recording	24
Securing Pacemakers Using Runtime Monitors over Physiological Signals	24
Towards Building Verifiable CPS using Lingua Franca	24
Kryptonite: Worst-Case Program Interference Estimation on Multi-Core Embedded Systems	23
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations	22
Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System	21
Mining Hyperproperties using Temporal Logics	21
DyCo: Dynamic, Contextualized AI Models	20
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images	20
Automatic Generation of Resource and Accuracy Configurable Processing Elements	20
DynHaMo: Dynamic Hardware-Based Monitoring Dedicated to Attacks Detection	20
Automatic Generation of Fast and Accurate Performance Models for Deep Neural Network Accelerators	18
Performance Modeling of Computer Vision-based CNN on Edge GPUs	18
Scalable Binary Neural Network Applications in Oblivious Inference	18
Unlocking the Full Potential of Dual-Interface SSDs: A Comprehensive Hardware and Software Perspective	18
An Efficient and Flexible Stochastic CGRA Mapping Approach	18
Star-Set Based Efficient Reachable Set Computation of Anytime Sensing-Based Neural Network-Controlled Dynamical Systems	18
EXPRESS: A Framework for Execution Time Prediction of Concurrent CNNs on Xilinx DPU Accelerator	17
PEak: A Single Source of Truth for Hardware Design and Verification	17
Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances	17
Middleware for Distributed Applications in a LoRa Mesh Network	17
Supervisory Control for Dynamic Feature Configuration in Product Lines	17
Reaction Latency Analysis of Message Synchronization in Edge-assisted Autonomous Driving	17
Boosting Cryptographic ICs’ Side-Channel Resistance: A Formal Framework for Automatic Identification and Protection of Leaky Paths	16
Improving Worst-case TSN Communication Times of Large Sensor Data Samples by Exploiting Synchronization	16
SecuPilot: A Security Coprocessor-Integrated Platform for Autonomous UAV Security	16
RPFF-PA : Reliable and Parallel Fault-tolerant Framework for Path Latency Reduction Deployed in Register Arrays	16
Early DSE and Automatic Generation of Coarse-grained Merged Accelerators	16
FC-GPU: Feedback Control GPU Scheduling for Real-time Embedded Systems	16
Specifying and Compiling Scalable Networks of Actors for Software and Hardware Platforms	15
Federated Self-training for Semi-supervised Audio Recognition	14
System Scenario-Based Design of the Last-Level Cache in Advanced Interconnect-Dominant Technology Nodes	14
Criticality-aware Monitoring and Orchestration for Containerized Industry 4.0 Environments	14
Software-Managed Read and Write Wear-Leveling for Non-Volatile Main Memory	14
BASS: Safe Deep Tissue Optical Sensing for Wearable Embedded Systems	13
CARIn: Constraint-Aware and Responsive Inference on Heterogeneous Devices for Single- and Multi-DNN Workloads	13
DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips	13
Multi-Compression Scale DNN Inference Acceleration based on Cloud-Edge-End Collaboration	13
Optimus: An Operator Fusion Framework for Deep Neural Networks	13
A Write-Related and Read-Related DRAM Allocation Strategy Inside Solid-State Drives (SSDs)	13
CIMFlow: Modelling Dataflow in Cross-Layer Compute-in-Memory Deep Learning Accelerators	12
DOCTOR: A Multi-Disease Detection Continual Learning Framework Based on Wearable Medical Sensors	12
A Hierarchical Classification Method for High-accuracy Instruction Disassembly with Near-field EM Measurements	12
Efficient and Robust Edge AI: Software, Hardware, and the Co-design	12
WARM-tree: Making Quadtrees Write-efficient and Space-economic on Persistent Memories	12
Elements of Timed Pattern Matching	11
Coarse-Grained Task Parallelization by Dynamic Profiling for Heterogeneous SoC-Based Embedded System	11
DiGiT: A Diffusion-based Modular Geophysical Toolkit for On-device Multi-modal Data Generation	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	11
ZIP-CNN: Design Space Exploration for CNN Implementation within a MCU	11
Latency-Aware Pruning and Quantization of Self-Supervised Speech Transformers for Edge Devices	11
Leveraging Computational Storage for Power-Efficient Distributed Data Analytics	11
Analog In-memory Circuit Design of Polynomial Multiplication for Lattice Cipher Acceleration Application	11
Telomere: Real-Time NAND Flash Storage	11
Store-n-Learn: Classification and Clustering with Hyperdimensional Computing across Flash Hierarchy	10
AdaTest: Reinforcement Learning and Adaptive Sampling for On-chip Hardware Trojan Detection	10
A Highly Hardware Efficient ML-KEM Accelerator with Optimised Architectural Layers	10
An Energy-Efficient DRAM Cache Architecture for Mobile Platforms With PCM-Based Main Memory	10
XimSwap: Many-to-Many Face Swapping for TinyML	10
A Predictable QoS-aware Memory Request Scheduler for Soft Real-time Systems	10
A Robust and Energy Efficient Hyperdimensional Computing System for Voltage-scaled Circuits	10
Tutorial: A Novel Runtime Environment for Accelerator-Rich Heterogeneous Architectures	9
Faster Implementation of Ideal Lattice-Based Cryptography Using AVX512	9
HDLRuby: A Ruby Extension for Hardware Description and Its Translation to Synthesizable Verilog HDL	9
Toward Optimal Softcore Carry-aware Approximate Multipliers on Xilinx FPGAs	9
Wireless Perceptual Space Modeling Method for Cross-Domain Human Activity Recognition	9
Hierarchical Resource Orchestration Framework for Real-time Containers	9
CABARRE: Request Response Arbitration for Shared Cache Management	9
Probabilistic Reaction Time Analysis	9
TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-based Inference	9
RegKey: A Register-based Implementation of ECC Signature Algorithms Against One-shot Memory Disclosure	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
Application-Level Evaluation of IEEE 802.1AS Synchronized Time and Linux for Distributed Real-Time Systems	9
A Load-Balanced Collaborative Repair Algorithm for Single-Disk Failures in Erasure Coded Storage Systems	9
Florets for Chiplets: Data Flow-aware High-Performance and Energy-efficient Network-on-Interposer for CNN Inference Tasks	8
TAB: Unified and Optimized Ternary, Binary, and Mixed-precision Neural Network Inference on the Edge	8
Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis	8
Challenges and Opportunities of Security-Aware EDA	8
SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Networks	8
Optimal Control for Industrial Multi-Component CPS via Path-Encoding-Based Joint Optimization	8
DynO: Dynamic Onloading of Deep Neural Networks from Cloud to Device	8
RTPL: A Real-Time Communication Protocol for LoRa Network	8
Fast Loosely-Timed Deep Neural Network Models with Accurate Memory Contention	8
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators	8
Robust Embedded Autonomous Driving Positioning System Fusing LiDAR and Inertial Sensors	8
Selective Subarray Isolation for Mitigating RowHammer Attack	8
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques	8
????????????????????????: Utilizing Hyperdimensional Computing for a More Robust and Efficient Machine Learning System	8
An Efficient CNN Accelerator for Low-Cost Edge Systems	8
Domain-Specific Architectures: Research Problems and Promising Approaches	8
Dataflow Driven Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems	8
Designing High-Performance and Thermally Feasible Multi-Chiplet Architectures Enabled by Non-Bendable Glass Interposer	8
Analysis of EM Fault Injection on Bit-sliced Number Theoretic Transform Software in Dilithium	8
Lightweight Champions of the World: Side-Channel Resistant Open Hardware for Finalists in the NIST Lightweight Cryptography Standardization Process	8
Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs	7
TimelyNet: Adaptive Neural Architecture for Autonomous Driving with Dynamic Deadline	7
An Intermediate-Centric Dataflow for Transposed Convolution Acceleration on FPGA	7
HSPA: High-Throughput Sparse Polynomial Multiplication for Code-based Post-Quantum Cryptography	7
GINA: Exploiting Graph Neural Network Layer Features for Energy Efficient Inferencing in NVM-based PIM Accelerators	7
Design Flow for Scheduling Spiking Deep Convolutional Neural Networks on Heterogeneous Neuromorphic System-on-chip	7
Combining Weight Approximation, Sharing and Retraining for Neural Network Model Compression	7
Software Optimization and Design Methodology for Low Power Computer Vision Systems	7
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems	7
HeterogeneousRTOS: A CPU-FPGA Real-Time OS for Fault Tolerance on COTS at Near-Zero Timing Cost	7
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency	7
A Compact and Parallel Swap-Based Shuffler Based on Butterfly Network and Its Complexity Against Side Channel Analysis	7
An Investigation on Hardware-Aware Vision Transformer Scaling	7
High-Level Approaches to Hardware Security: A Tutorial	7
SPHINCSLET: An Area-Efficient Accelerator for the Full SPHINCS+ Digital Signature Algorithm	7
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning	7
A Survey of Blockchain Data Management Systems	7
FT-DAG: An Efficient Full-Topology DAG Generator with Controllable Parameters	7
Regular Composite Resource Partitioning and Reconfiguration in Open Systems	7
Code Generation for Neural Networks Based on Fixed-point Arithmetic	7
Register Blocking: A Source-to-Source Analytical Modelling Approach for Affine Loop Kernels	7
Attack-resilient Fusion of Sensor Data with Uncertain Delays	7
COBRRA: COntention-aware cache Bypass with Request-Response Arbitration	7
Benchmarking and Configuring Security Levels in Intermittent Computing	6
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	6
Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks	6
A Configurable CRYSTALS-Kyber Hardware Implementation with Side-Channel Protection	6
REPAIRS: Gaussian Mixture Model-based Completion and Optimization of Partially Specified Systems	6
ASTRA: A Stochastic Transformer Neural Network Accelerator with Silicon Photonics	6
MaGrIP: Magnitude and Gradient-Informed Pruning for Task-Agnostic Large Language Models	6
Verified Compilation of Synchronous Dataflow with State Machines	6
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	6

PISCOT: A Pipelined Split-Transaction COTS-Coherent Bus for Multi-Core Real-Time Systems	6
A Unified Approach to a Secure and Lightweight Mutual Authentication Protocol Using Pre-Characterized COTS SRAM ICs for IoT Applications	6
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	6
Improving Robustness in IoT Malware Detection through Execution Order Analysis	6
Scenario Based Run-Time Switching for Adaptive CNN-Based Applications at the Edge	6
CORIDOR: Using CO herence and Tempo R al Local I ty to Mitigate Read D isurb	6
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection	6
A Hybrid Sparse-dense Defensive DNN Accelerator Architecture against Adversarial Example Attacks	6
MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation	6
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	6
RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing	6
Block Walsh–Hadamard Transform-based Binary Layers in Deep Neural Networks	5
Energy-Efficient Approximate Edge Inference Systems	5
Reconfigurable System-on-Chip Architectures for Robust Visual SLAM on Humanoid Robots	5
CIM: A Novel Clustering-based Energy-Efficient Data Imputation Method for Human Activity Recognition	5
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines	5
FARRE: Fairness Aware Request Response Arbitration in Shared Caches	5
ACM TECS Special Issue on Embedded System Security Tutorials	5
Dynamic Cluster Head Selection in WSN	5
ETAP: Energy-aware Timing Analysis of Intermittent Programs	5
Near-Optimal Cache Sharing through Co-Located Parallel Scheduling of Threads	5
Resource-demand Estimation for Edge Tensor Processing Units	5
Tutorial: Toward Robust Deep Learning against Poisoning Attacks	5
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models	5
SensiX++: Bringing MLOps and Multi-tenant Model Serving to Sensory Edge Devices	5
Optimal Synthesis of Robust IDK Classifier Cascades	5
LazyTick: Lazy and Efficient Management of Job Release in Real-Time Operating Systems	5
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge	5
Special Issue on Open Hardware for Embedded System Security and Cryptography	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
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms	5
PReFeR : P hysically Re lated F unction bas e d R	5
Trustworthy Autonomous System Development	5
Methods to Realize Preemption in Phased Execution Models	5
Flexible Updating of Internet of Things Computing Functions through Optimizing Dynamic Partial Reconfiguration	5
Deep Q-Learning-Based Mobile Charger Path Planning in Wireless Powered Communication Networks	5
NAVIDRO, a CARES architectural style for configuring drone co-simulation	5
Toward Next Generation Quantum-Safe eIDs and eMRTDs: A Survey	4
Rasco: Resource Allocation and Scheduling Co-design for DAG Applications on Multicore	4
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators	4
LiteHash: Hash Functions for Resource-Constrained Hardware	4
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF	4
P 2 SDS : A Polynomial-Time Pattern-Guided Stable Dynamic Scheduling for W	4
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	4
Metareasoning for Edge-Cloud Collaborative LLM Planning for Efficient Autonomous Navigation	4
Intermediary Output Caching for Diffusion Model-Based Text-to-Image GenAI Services in Edge Computing Networks	4
GHOST: A Graph Neural Network Accelerator using Silicon Photonics	4
Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems	4
Diwall: A Lightweight Host Intrusion Detection System Against Jamming and Packet Injection Attacks	4
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance	4
EASYR: E nergy-Efficient A daptive Sy stem R econfiguration for Dynamic Dead	4
DL-RSIM: A Reliability and Deployment Strategy Simulation Framework for ReRAM-based CNN Accelerators	4
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults	4
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	4
SecureRide: Detecting Safety-Threatening Behavior of E-Scooters Using Battery Information	4
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	4
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	4
Robust LFSR-based Scrambling to Mitigate Stencil Attack on Main Memory	4
Transfer Schedulability in Periodic Real-Time Systems	4
End-To-End Latency of Cause-Effect Chains: A Tutorial	4
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications	4
CNN-based Robust Sound Source Localization with SRP-PHAT for the Extreme Edge	4
DNN Is Not All You Need: Parallelizing Non-neural ML Algorithms on Ultra-low-power IoT Processors	4
Re-thinking Memory-Bound Limitations in CGRAs	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
Side-channel Analysis of Lattice-based Post-quantum Cryptography: Exploiting Polynomial Multiplication	4
HMSA: High-Performance Heterogeneous Mixed-Precision CNN Systolic Array Accelerator on FPGA	3
Timekeepers: ML-Driven SDF Analysis for Power-Wasters Detection in FPGAs	3
Deductive Verification of Cooperative RTOS Applications	3
CEDR: A Compiler-integrated, Extensible DSSoC Runtime	3
Asynchronous Compaction Acceleration Scheme for Near-data Processing-enabled LSM-tree-based KV Stores	3
Runtime Adaptivity for Efficient Neural Network Inference on Autonomous Systems	3
Time-Series Forecasting and Sequence Learning Using Memristor-based Reservoir System	3
The Sparse Synchronous Model on Real Hardware	3
An Energy Minimization Approach for Periodic Tasks with Data Dependencies in Heterogeneous Systems	3
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations	3
Risk of Stochastic Systems for Temporal Logic Specifications	3
OffloaD: Detection Failure-based Scheduler for Offloading Object Detection	3
Grasp-HGN: Grasping the Unexpected	3
Side-channel and Fault-injection attacks over Lattice-based Post-quantum Schemes (Kyber, Dilithium): Survey and New Results	3
Post-Quantum Signatures on RISC-V with Hardware Acceleration	3
c2mec : Cooperative Multi-split and Multi-hop Edge Computing Based on Deep Reinforcement Learning	3
Hardware-friendly User-specific Machine Learning for Edge Devices	3
Reduced Memory Viterbi Decoding for Hardware-accelerated Speech Recognition	3
Optimal Split Point Placement for Predictable GPU Wavefront Splitting	3
SHARP: SHARing-Aware Cache Writeback byPass	3
SLEXNet: Adaptive Inference Using Slimmable Early Exit Neural Networks	3
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	3
AQuA: A New Image Quality Metric for Optimizing Video Analytics Systems	3
Layer-Reused Collaborative Scheduling for Container-Dependent Tasks in Industrial Real-Time Systems	3
ProGIP: Protecting Gradient-based Input Perturbation Approaches for OOD Detection From Soft Errors	3
Rethinking the Interactivity of OS and Device Layers in Memory Management	3
ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF	3