ACM Transactions on Embedded Computing Systems

Article	Citations
A Space-Grained Cleaning Method to Reduce Long-Tail Latency of DM-SMR Disks	59
Abnormality Detection Using Power Rising and Descending Signature (PRIDES)	52
Hardware Performance Counters: Ready-Made vs Tailor-Made	50
Falsification of Cyber-physical Systems Using Bayesian Optimization	50
Hephaestus : Codesigning and Automating 3D Image Registration on Reconfigurable Architectures	42
Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation	36
EC-ECC: Accelerating Elliptic Curve Cryptography for Edge Computing on Embedded GPU TX2	36
FD-CNN: A Frequency-Domain FPGA Acceleration Scheme for CNN-Based Image-Processing Applications	34
Synaptic Activity and Hardware Footprint of Spiking Neural Networks in Digital Neuromorphic Systems	31
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques	31
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors	31
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	29
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections	29
Toward Object-oriented Modeling in SCCharts	28
Chauffeur: Benchmark Suite for Design and End-to-End Analysis of Self-Driving Vehicles on Embedded Systems	28
HW-FlowQ: A Multi-Abstraction Level HW-CNN Co-design Quantization Methodology	28
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction	27
Introduction to the Special Issue on Memory and Storage Systems for Embedded and IoT Applications	26
Specification Guided Automated Synthesis of Feedback Controllers	24
Dataflow Driven Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems	22
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks	22
PUF-Dilithium: Design of a PUF-Based Dilithium Architecture Benchmarked on ARM Processors	22
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning	22
Robust Embedded Autonomous Driving Positioning System Fusing LiDAR and Inertial Sensors	21
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems	21

Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities	20
RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping	20
Killing Processes or Killing Flash? Escaping from the Dilemma Using Lightweight, Compression-Aware Swap for Mobile Devices	20
A Workload-Balance-Aware Accelerator Enabling Dense-to-Arbitrary-Sparse Neural Networks	20
Towards a Rust-Like Borrow Checker for C	19
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	19
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis	19
Special Issue on Post-Quantum Cryptography for Embedded Systems	18
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs	18
Lightweight Hardware-Based Cache Side-Channel Attack Detection for Edge Devices (Edge-CaSCADe)	18
Probabilistic Risk-Aware Scheduling with Deadline Constraint for Heterogeneous SoCs	17
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems	17
Performance and Power Estimation of STT-MRAM Main Memory with Reliable System-level Simulation	17
Model-based Toolchain for Core Flight System (cFS) Embedded Systems	17
Hardware Acceleration for Embedded Keyword Spotting: Tutorial and Survey	17
MaxTracker: Continuously Tracking the Maximum Computation Progress for Energy Harvesting ReRAM-based CNN Accelerators	16
Edge Intelligence: Concepts, Architectures, Applications, and Future Directions	16
A Unified Programmable Edge Matrix Processor for Deep Neural Networks and Matrix Algebra	15
Energy Management for Fault-tolerant (m,k)-constrained Real-time Systems That Use Standby-Sparing	15
Toward Adversary-aware Non-iterative Model Pruning through D ynamic N etwork R ewiring of DNNs	15
A Hardware Approach For Accelerating Inductive Learning In Description Logic	15
ACDSE: A Design Space Exploration Method for CNN Accelerator based on Adaptive Compression Mechanism	15
SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Networks	15
Minimal-Overlap Centrality for Multi-Gateway Designation in Real-Time TSCH Networks	14
XploreNAS : Explore Adversarially Robust and Hardware-efficient Neural Architectures for Non-ideal Xbars	14
Risk of Stochastic Systems for Temporal Logic Specifications	14
Exploring Efficient Architectures on Remote In-Memory NVM over RDMA	14
SLEXNet: Adaptive Inference Using Slimmable Early Exit Neural Networks	14
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	14
An Intermediate-Centric Dataflow for Transposed Convolution Acceleration on FPGA	14
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency	13
Analysis of EM Fault Injection on Bit-sliced Number Theoretic Transform Software in Dilithium	13
Holistic Resource Allocation Under Federated Scheduling for Parallel Real-time Tasks	13
Agile Acceleration of Stateful Hash-based Signatures in Hardware	13
Challenges and Opportunities of Security-Aware EDA	13
Design and Scaffolded Training of an Efficient DNN Operator for Computer Vision on the Edge	12
Contention Grading and Adaptive Model Selection for Machine Vision in Embedded Systems	12
Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis	12
Lightweight Champions of the World: Side-Channel Resistant Open Hardware for Finalists in the NIST Lightweight Cryptography Standardization Process	12
REC: REtime Convolutional Layers to Fully Exploit Harvested Energy for ReRAM-based CNN Accelerators	11
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning	11
On the RTL Implementation of FINN Matrix Vector Unit	11
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	11
CRIMP: C ompact & R eliable DNN Inference on I n- M emory	10
ViT4Mal: Lightweight Vision Transformer for Malware Detection on Edge Devices	10
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies	10
Sound Mixed Fixed-Point Quantization of Neural Networks	10
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator	10
Evaluating Controlled Memory Request Injection for Efficient Bandwidth Utilization and Predictable Execution in Heterogeneous SoCs	10
ZPP: A Dynamic Technique to Eliminate Cache Pollution in NoC based MPSoCs	10

Mobile or FPGA? A Comprehensive Evaluation on Energy Efficiency and a Unified Optimization Framework	10
Edge-SLAM: Edge-Assisted Visual Simultaneous Localization and Mapping	9
A Design Flow for Scheduling Spiking Deep Convolutional Neural Networks on Heterogeneous Neuromorphic System-on-Chip	9
Editorial	9
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications	9
QUAREM: Maximising QoE Through Adaptive Resource Management in Mobile MPSoC Platforms	9
Human Activity Recognition on Microcontrollers with Quantized and Adaptive Deep Neural Networks	9
SPIMulator: A Spintronic Processing-in-memory Simulator for Racetracks	9
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks	9
????????????????????????: Utilizing Hyperdimensional Computing for a More Robust and Efficient Machine Learning System	9
Declarative Power Sequencing	9
Introduction to the Special Issue on Specification and Design Languages (FDL 2019)	9
Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice	9
Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge	8
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems	8
Probabilistic Black-Box Checking via Active MDP Learning	8
COBRRA: COntention-aware cache Bypass with Request-Response Arbitration	8
SLAQA	8
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications	8
ATCN: Resource-efficient Processing of Time Series on Edge	8
A Composable Monitoring System for Heterogeneous Embedded Platforms	8
TinyNS: Platform-aware Neurosymbolic Auto Tiny Machine Learning	8
MLTL Multi-type: A Typed Logic for Cyber-Physical Systems	8
Energy-efficient and Reliable Inference in Nonvolatile Memory under Extreme Operating Conditions	8
HMT: A Hardware-centric Hybrid Bonsai Merkle Tree Algorithm for High-performance Authentication	8
Schedulability Analysis for Timed Automata With Tasks	8
Synchronised Shared Memory and Model Checking	8
OffloaD: Detection Failure-based Scheduler for Offloading Object Detection	8
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations	8
On-device Online Learning and Semantic Management of TinyML Systems	7
SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control	7
Design-Technology Co-Optimization for NVM-Based Neuromorphic Processing Elements	7
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X	7
Multi-bit Data Flow Error Detection Method Based on SDC Vulnerability Analysis	7
Trust Based Active Game Data Collection Scheme in Smart Cities	7
More Is Less: Model Augmentation for Intermittent Deep Inference	7
QUIDAM: A Framework for Qu ant i zation-aware D NN A ccelerator and	7
Code Generation for Neural Networks Based on Fixed-point Arithmetic	7
AMP: Total Variation Reduction for Lossless Compression via Approximate Median-based Preconditioning	7
PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices	7
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities	7
A Survey of Blockchain Data Management Systems	7
AppAxO : Designing App lication-specific A ppro x imate O	7
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems	7
Efficient-Grad: Efficient Training Deep Convolutional Neural Networks on Edge Devices with Grad ient Optimizations	6
Introduction to the Special Issue on Accelerating AI on the Edge – Part 2	6
LPWAN in the TV White Spaces	6
Attack-resilient Fusion of Sensor Data with Uncertain Delays	6
Efficient Realization of Decision Trees for Real-Time Inference	6
CEDR: A Compiler-integrated, Extensible DSSoC Runtime	6
Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems	6
PhiNets: A Scalable Backbone for Low-power AI at the Edge	6
HMDS: A Makespan Minimizing DAG Scheduler for Heterogeneous Distributed Systems	6
RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service	6
High-Level Approaches to Hardware Security: A Tutorial	6
WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android	6
Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking	6
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs	5
Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs	5
ReSG: A Data Structure for Verification of Majority-based In-memory Computing on ReRAM Crossbars	5
Constrained Tiny Machine Learning for Predicting Gas Concentration with I4.0 Low-cost Sensors	5
ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF	5
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems	5
MVLevelDB + : Meeting Relative Consistency Requirements of Temporal Queries in Sensor Stream Databases	5
Special Issue: “Approximation at the Edge”	5
Neural Network Compression for Noisy Storage Devices	5
STDF: Spatio-Temporal Deformable Fusion for Video Quality Enhancement on Embedded Platforms	5
Regular Composite Resource Partitioning and Reconfiguration in Open Systems	5
A Compact and Parallel Swap-Based Shuffler Based on Butterfly Network and Its Complexity Against Side Channel Analysis	5
Static Scheduling of Weight Programming for DNN Acceleration with Resource Constrained PIM	5
Introduction to Special Issue on In/Near Memory and Storage Computing for Embedded Systems	5
Hardware Area Efficient and Real-Time FPGA Implementation of PHMMRGB.	5
Protecting Network-on-Chip Intellectual Property Using Timing Channel Fingerprinting	5
HSPA: High-Throughput Sparse Polynomial Multiplication for Code-based Post-Quantum Cryptography	5
Compact Instruction Set Extensions for Dilithium	5
Look-up the Rainbow: Table-based Implementation of Rainbow Signature on 64-bit ARMv8 Processors	5
Graph Transformations for Memory Peak Minimization by Scheduling	5
Transient Fault Detection in Tensor Cores for Modern GPUs	5
Scheduling Dynamic Software Updates in Mobile Robots	5
TinyM 2 Net-V2: A Compact Low-power Software Hardware Architecture for M ulti m odal Deep Neural Networ	5

Intelligent Caching for Vehicular Dew Computing in Poor Network Connectivity Environments	5
FedHIL: Heterogeneity Resilient Federated Learning for Robust Indoor Localization with Mobile Devices	4
Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning	4
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	4
HeterogeneousRTOS: A CPU-FPGA Real-Time OS for Fault Tolerance on COTS at Near-Zero Timing Cost	4
Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches	4
PArtNNer: Platform-Agnostic Adaptive Edge-Cloud DNN Partitioning for Minimizing End-to-End Latency	4
SG-Float: Achieving Memory Access and Computing Power Reduction Using Self-Gating Float in CNNs	4
EdgeWise: Energy-efficient CNN Computation on Edge Devices under Stochastic Communication Delays	4
Dynamic Thermal Management of 3D Memory through Rotating Low Power States and Partial Channel Closure	4
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare	4
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	4
Towards an Integrated Vehicle Management System in DriveOS	4
Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors	4
HLS-based High-throughput and Work-efficient Synthesizable Graph Processing Template Pipeline	4
Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System	4
A Comprehensive Study of Systems Challenges in Visual Simultaneous Localization and Mapping Systems	4
A Self-Sustained CPS Design for Reliable Wildfire Monitoring	4
An Investigation on Hardware-Aware Vision Transformer Scaling	4
Consistency vs. Availability in Distributed Cyber-Physical Systems	4
IoV-Fog-Assisted Framework for Accident Detection and Classification	4
NeuroTAP: Thermal and Memory Access Pattern-Aware Data Mapping on 3D DRAM for Maximizing DNN Performance	4
Accelerated Fire Detection and Localization at Edge	4
Reachability Analysis of Sigmoidal Neural Networks	4
Edge-AI-Driven Framework with Efficient Mobile Network Design for Facial Expression Recognition	4
Stash: Flexible Energy Storage for Intermittent Sensors	4
Software Optimization and Design Methodology for Low Power Computer Vision Systems	4
Neural Abstraction-Based Controller Synthesis and Deployment	4
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems	4
Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems	4
Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange and Encapsulation Protocols	4
An Interpretable Machine Learning Model Enhanced Integrated CPU-GPU DVFS Governor	3
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations	3
Improving Robustness in IoT Malware Detection through Execution Order Analysis	3
Unleashing OpenTitan's Potential: a Silicon-Ready Embedded Secure Element for Root of Trust and Cryptographic Offloading	3
FSIMR: File-system-aware Data Management for Interlaced Magnetic Recording	3
Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains	3
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images	3
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	3
Scabbard: An Exploratory Study on Hardware Aware Design Choices of Learning with Rounding-based Key Encapsulation Mechanisms	3
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	3
LaDy: Enabling L ocality- a ware D eduplication Technolog y on Shingled Magn	3
Physics-Driven Page Fault Handling for Customized Deception against CPS Malware	3
An Efficient and Flexible Stochastic CGRA Mapping Approach	3
IoT-Fog-Cloud Centric Earthquake Monitoring and Prediction	3
An Ultra-low-power Embedded AI Fire Detection and Crowd Counting System for Indoor Areas	3
Design and Analysis of High Performance Heterogeneous Block-based Approximate Adders	3
Performance Modeling of Computer Vision-based CNN on Edge GPUs	3
Reg-Tune: A Regression-Focused Fine-Tuning Approach for Profiling Low Energy Consumption and Latency	3
LanCeX: A Versatile and Lightweight Defense Method against Condensed Adversarial Attacks in Image and Audio Recognition	3
Scalable Binary Neural Network Applications in Oblivious Inference	3
Keep in Balance: Runtime-reconfigurable Intermittent Deep Inference	3
Predictable GPU Wavefront Splitting for Safety-Critical Systems	3
AQuA: A New Image Quality Metric for Optimizing Video Analytics Systems	3
A Review of Abstraction Methods Toward Verifying Neural Networks	3
Read Refresh Scheduling and Data Reallocation against Read Disturb in SSDs	3
Kryptonite: Worst-Case Program Interference Estimation on Multi-Core Embedded Systems	3
Reduced Memory Viterbi Decoding for Hardware-accelerated Speech Recognition	3
DyCo: Dynamic, Contextualized AI Models	3
Integrated Hardware Garbage Collection	3
Real-Time Guarantees in Routerless Networks-on-Chip	3
Side-channel and Fault-injection attacks over Lattice-based Post-quantum Schemes (Kyber, Dilithium): Survey and New Results	3
Two Birds With One Stone: Boosting Both Search and Write Performance for Tree Indices on Persistent Memory	3
Rethinking the Interactivity of OS and Device Layers in Memory Management	3
SIAM: Chiplet-based Scalable In-Memory Acceleration with Mesh for Deep Neural Networks	3
CORIDOR: Using CO herence and Tempo R al Local I ty to Mitigate Read D isurb	3
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	3
DirectNVM: Hardware-accelerated NVMe SSDs for High-performance Embedded Computing	3
Application-centric Network Management - Addressing Safety and Real-time in V2X Applications	3
PEak: A Single Source of Truth for Hardware Design and Verification	2
EMS-i : An Efficient Memory System Design with Specialized Caching Mechanism for Recommendation Inference	2
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines	2
Characterizing Parameter Scaling with Quantization for Deployment of CNNs on Real-Time Systems	2
Experimental Demonstration of STT-MRAM-based Nonvolatile Instantly On/Off System for IoT Applications: Case Studies	2
Towards Building Verifiable CPS using Lingua Franca	2
MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation	2
ROBIN: A Robust Optical Binary Neural Network Accelerator	2
ARES: Persistently Secure Non-Volatile Memory with Processor-transparent and Hardware-friendly Integrity Verification and Metadata Recovery	2
Efficient Low-Memory Implementation of Sparse CNNs Using Encoded Partitioned Hybrid Sparse Format	2
Introduction to the Special Issue on tinyML	2
REPAIR: Control Flow Protection based on Register Pairing Updates for SW-Implemented HW Fault Tolerance	2
PredATW: Predicting the Asynchronous Time Warp Latency For VR Systems	2
Improving Worst-case TSN Communication Times of Large Sensor Data Samples by Exploiting Synchronization	2
Prediction Modeling for Application-Specific Communication Architecture Design of Optical NoC	2
A VC Dimension-Oriented Improvement Method of PUFs for the Anti-Modeling-Attack Capability	2
DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips	2
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing	2
STADIA: Photonic Stochastic Gradient Descent for Neural Network Accelerators	2
REPAIRS: Gaussian Mixture Model-based Completion and Optimization of Partially Specified Systems	2
MARCO: A High-performance Task M apping a nd R outing Co -optimization Frame	2
EXPRESS: A Framework for Execution Time Prediction of Concurrent CNNs on Xilinx DPU Accelerator	2
Efficient Deep Learning Infrastructures for Embedded Computing Systems: A Comprehensive Survey and Future Envision	2
A Construction Kit for Efficient Low Power Neural Network Accelerator Designs	2
Hardware-friendly User-specific Machine Learning for Edge Devices	2
Implementing Privacy Homomorphism with Random Encoding and Computation Controlled by a Remote Secure Server	2