ACM Transactions on Embedded Computing Systems

Article	Citations
Analysis of EM Fault Injection on Bit-sliced Number Theoretic Transform Software in Dilithium	49
A Space-Grained Cleaning Method to Reduce Long-Tail Latency of DM-SMR Disks	44
ViT4Mal: Lightweight Vision Transformer for Malware Detection on Edge Devices	42
PUF-Dilithium: Design of a PUF-Based Dilithium Architecture Benchmarked on ARM Processors	37
EC-ECC: Accelerating Elliptic Curve Cryptography for Edge Computing on Embedded GPU TX2	29
Abnormality Detection Using Power Rising and Descending Signature (PRIDES)	29
Hardware Performance Counters: Ready-Made vs Tailor-Made	28
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies	28
Robust Embedded Autonomous Driving Positioning System Fusing LiDAR and Inertial Sensors	27
Evaluating Controlled Memory Request Injection for Efficient Bandwidth Utilization and Predictable Execution in Heterogeneous SoCs	26
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis	26
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques	24
Synaptic Activity and Hardware Footprint of Spiking Neural Networks in Digital Neuromorphic Systems	23
????????????????????????: Utilizing Hyperdimensional Computing for a More Robust and Efficient Machine Learning System	21
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors	21
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning	21
Holistic Resource Allocation Under Federated Scheduling for Parallel Real-time Tasks	20
Risk of Stochastic Systems for Temporal Logic Specifications	20
Special Issue on Post-Quantum Cryptography for Embedded Systems	20
Sound Mixed Fixed-Point Quantization of Neural Networks	20
An Intermediate-Centric Dataflow for Transposed Convolution Acceleration on FPGA	19
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections	18
Hephaestus : Codesigning and Automating 3D Image Registration on Reconfigurable Architectures	17
HW-FlowQ: A Multi-Abstraction Level HW-CNN Co-design Quantization Methodology	17
Challenges and Opportunities of Security-Aware EDA	17

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction	16
Probabilistic Risk-Aware Scheduling with Deadline Constraint for Heterogeneous SoCs	16
Minimal-Overlap Centrality for Multi-Gateway Designation in Real-Time TSCH Networks	16
Lightweight Champions of the World: Side-Channel Resistant Open Hardware for Finalists in the NIST Lightweight Cryptography Standardization Process	15
SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Networks	15
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency	15
Efficient External Sorting for Memory-Constrained Embedded Devices with Flash Memory	14
Hardware Acceleration for Embedded Keyword Spotting: Tutorial and Survey	14
Design and Scaffolded Training of an Efficient DNN Operator for Computer Vision on the Edge	14
Mobile or FPGA? A Comprehensive Evaluation on Energy Efficiency and a Unified Optimization Framework	14
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities	14
ACDSE: A Design Space Exploration Method for CNN Accelerator based on Adaptive Compression Mechanism	14
Specification Guided Automated Synthesis of Feedback Controllers	14
Introduction to the Special Issue on Memory and Storage Systems for Embedded and IoT Applications	14
CRIMP: C ompact & R eliable DNN Inference on I n- M emory	14
FD-CNN: A Frequency-Domain FPGA Acceleration Scheme for CNN-Based Image-Processing Applications	13
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks	13
XploreNAS : Explore Adversarially Robust and Hardware-efficient Neural Architectures for Non-ideal Xbars	13
A Hardware Approach For Accelerating Inductive Learning In Description Logic	13
On the RTL Implementation of FINN Matrix Vector Unit	12
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems	12
A Unified Programmable Edge Matrix Processor for Deep Neural Networks and Matrix Algebra	12
Exploring Efficient Architectures on Remote In-Memory NVM over RDMA	12
UBAR	12
Dataflow Driven Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems	12
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor	12
Model-based Toolchain for Core Flight System (cFS) Embedded Systems	11
Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis	11
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs	11
Energy Management for Fault-tolerant (m,k)-constrained Real-time Systems That Use Standby-Sparing	11
QUAREM: Maximising QoE Through Adaptive Resource Management in Mobile MPSoC Platforms	11
Toward Adversary-aware Non-iterative Model Pruning through D ynamic N etwork R ewiring of DNNs	11
REC: REtime Convolutional Layers to Fully Exploit Harvested Energy for ReRAM-based CNN Accelerators	10
Hercules: Enabling Atomic Durability for Persistent Memory with Transient Persistence Domain	10
RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping	10
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator	10
SPIMulator: A Spintronic Processing-in-memory Simulator for Racetracks	10
MaxTracker: Continuously Tracking the Maximum Computation Progress for Energy Harvesting ReRAM-based CNN Accelerators	10
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems	10
SLEXNet: Adaptive Inference Using Slimmable Early Exit Neural Networks	10
Contention Grading and Adaptive Model Selection for Machine Vision in Embedded Systems	10
Chauffeur: Benchmark Suite for Design and End-to-End Analysis of Self-Driving Vehicles on Embedded Systems	9
Toward Object-oriented Modeling in SCCharts	9
Agile Acceleration of Stateful Hash-based Signatures in Hardware	9
Lightweight Hardware-Based Cache Side-Channel Attack Detection for Edge Devices (Edge-CaSCADe)	9
Edge-SLAM: Edge-Assisted Visual Simultaneous Localization and Mapping	9
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning	9
Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation	9
Human Activity Recognition on Microcontrollers with Quantized and Adaptive Deep Neural Networks	9
On-device Online Learning and Semantic Management of TinyML Systems	8

TinyNS: Platform-aware Neurosymbolic Auto Tiny Machine Learning	8
Killing Processes or Killing Flash? Escaping from the Dilemma Using Lightweight, Compression-Aware Swap for Mobile Devices	8
Towards a Rust-Like Borrow Checker for C	8
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs	8
Look-up the Rainbow: Table-based Implementation of Rainbow Signature on 64-bit ARMv8 Processors	8
A Composable Monitoring System for Heterogeneous Embedded Platforms	8
ZPP: A Dynamic Technique to Eliminate Cache Pollution in NoC based MPSoCs	8
Performance and Power Estimation of STT-MRAM Main Memory with Reliable System-level Simulation	8
SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control	8
Neural Abstraction-Based Controller Synthesis and Deployment	8
ObNoCs : Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks	8
Edge Intelligence: Concepts, Architectures, Applications, and Future Directions	8
Regular Composite Resource Partitioning and Reconfiguration in Open Systems	8
Code Generation for Neural Networks Based on Fixed-point Arithmetic	7
COBRRA: COntention-aware cache Bypass with Request-Response Arbitration	7
QUIDAM: A Framework for Qu ant i zation-aware D NN A ccelerator and	7
Constrained Tiny Machine Learning for Predicting Gas Concentration with I4.0 Low-cost Sensors	7
Synchronised Shared Memory and Model Checking	7
Scheduling Dynamic Software Updates in Mobile Robots	7
Introduction to the Special Issue on Specification and Design Languages (FDL 2019)	7
CEDR: A Compiler-integrated, Extensible DSSoC Runtime	7
Declarative Power Sequencing	7
A Design Flow for Scheduling Spiking Deep Convolutional Neural Networks on Heterogeneous Neuromorphic System-on-Chip	7
Microcontroller Fingerprinting Using Partially Erased NOR Flash Memory Cells	7
Probabilistic Black-Box Checking via Active MDP Learning	6
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks	6
Hardware Area Efficient and Real-Time FPGA Implementation of PHMMRGB.	6
Let Coarse-Grained Resources Be Shared: Mapping Entire Neural Networks on FPGAs	6
Neural Network Compression for Noisy Storage Devices	6
Introduction to the Special Issue on Accelerating AI on the Edge – Part 2	6
PArtNNer: Platform-Agnostic Adaptive Edge-Cloud DNN Partitioning for Minimizing End-to-End Latency	6
Protecting Network-on-Chip Intellectual Property Using Timing Channel Fingerprinting	6
HSPA: High-Throughput Sparse Polynomial Multiplication for Code-based Post-Quantum Cryptography	6
WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android	6
Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations	6
Efficient Realization of Decision Trees for Real-Time Inference	6
Attack-resilient Fusion of Sensor Data with Uncertain Delays	6
A Self-Sustained CPS Design for Reliable Wildfire Monitoring	6
Software Optimization and Design Methodology for Low Power Computer Vision Systems	6
Editorial	6
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare	6
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems	6
Special Issue: “Approximation at the Edge”	6
An Investigation on Hardware-Aware Vision Transformer Scaling	5
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems	5
Intelligent Caching for Vehicular Dew Computing in Poor Network Connectivity Environments	5
Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge	5
HMT: A Hardware-centric Hybrid Bonsai Merkle Tree Algorithm for High-performance Authentication	5
A Survey of Blockchain Data Management Systems	5
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs	5
STDF: Spatio-Temporal Deformable Fusion for Video Quality Enhancement on Embedded Platforms	5
EdgeWise: Energy-efficient CNN Computation on Edge Devices under Stochastic Communication Delays	5
SG-Float: Achieving Memory Access and Computing Power Reduction Using Self-Gating Float in CNNs	5
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications	5
ATCN: Resource-efficient Processing of Time Series on Edge	5
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems	5
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities	5
Consistency vs. Availability in Distributed Cyber-Physical Systems	5
LPWAN in the TV White Spaces	5
Energy-efficient and Reliable Inference in Nonvolatile Memory under Extreme Operating Conditions	5
Compact Instruction Set Extensions for Dilithium	5
Efficient-Grad: Efficient Training Deep Convolutional Neural Networks on Edge Devices with Grad ient Optimizations	4
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems	4
IoV-Fog-Assisted Framework for Accident Detection and Classification	4
TinyM 2 Net-V2: A Compact Low-power Software Hardware Architecture for M ulti m odal Deep Neural Networ	4
OffloaD: Detection Failure-based Scheduler for Offloading Object Detection	4
Code-size-aware Scheduling of Synchronous Dataflow Graphs on Multicore Systems	4
High-Level Approaches to Hardware Security: A Tutorial	4
Static Scheduling of Weight Programming for DNN Acceleration with Resource Constrained PIM	4
Dynamic Thermal Management of 3D Memory through Rotating Low Power States and Partial Channel Closure	4
Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems	4
AppAxO : Designing App lication-specific A ppro x imate O	4
Transient Fault Detection in Tensor Cores for Modern GPUs	4
Trust Based Active Game Data Collection Scheme in Smart Cities	4
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems	4
ANV-PUF: Machine-Learning-Resilient NVM-Based Arbiter PUF	4
A Comprehensive Study of Systems Challenges in Visual Simultaneous Localization and Mapping Systems	4
Edge-AI-Driven Framework with Efficient Mobile Network Design for Facial Expression Recognition	4
Design-Technology Co-Optimization for NVM-Based Neuromorphic Processing Elements	4
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X	4

AMP: Total Variation Reduction for Lossless Compression via Approximate Median-based Preconditioning	4
More Is Less: Model Augmentation for Intermittent Deep Inference	4
HMDS: A Makespan Minimizing DAG Scheduler for Heterogeneous Distributed Systems	4
Multi-bit Data Flow Error Detection Method Based on SDC Vulnerability Analysis	4
MVLevelDB + : Meeting Relative Consistency Requirements of Temporal Queries in Sensor Stream Databases	4
Schedulability Analysis for Timed Automata With Tasks	4
SLAQA	4
PhiNets: A Scalable Backbone for Low-power AI at the Edge	4
Introduction to Special Issue on In/Near Memory and Storage Computing for Embedded Systems	4
ReSG: A Data Structure for Verification of Majority-based In-memory Computing on ReRAM Crossbars	4
PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices	4
MLTL Multi-type: A Typed Logic for Cyber-Physical Systems	3
Side-channel and Fault-injection attacks over Lattice-based Post-quantum Schemes (Kyber, Dilithium): Survey and New Results	3
Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice	3
Real-time, High-resolution Depth Upsampling on Embedded Accelerators	3
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping	3
DirectNVM: Hardware-accelerated NVMe SSDs for High-performance Embedded Computing	3
Two Birds With One Stone: Boosting Both Search and Write Performance for Tree Indices on Persistent Memory	3
Predictable GPU Wavefront Splitting for Safety-Critical Systems	3
An Interpretable Machine Learning Model Enhanced Integrated CPU-GPU DVFS Governor	3
Verified Compilation of Synchronous Dataflow with State Machines	3
Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems	3
LaDy: Enabling L ocality- a ware D eduplication Technolog y on Shingled Magn	3
RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service	3
Graph Transformations for Memory Peak Minimization by Scheduling	3
Lane Compression	3
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images	3
Keep in Balance: Runtime-reconfigurable Intermittent Deep Inference	3
Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness	3
Reachability Analysis of Sigmoidal Neural Networks	3
CrossTalk : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks	3
Real-Time Guarantees in Routerless Networks-on-Chip	3
Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors	3
HLS-based High-throughput and Work-efficient Synthesizable Graph Processing Template Pipeline	3
Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking	3
Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange and Encapsulation Protocols	3
MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation	3
Improving Performance-Power-Programmability in Space Avionics with Edge Devices: VBN on Myriad2 SoC	3
Read Refresh Scheduling and Data Reallocation against Read Disturb in SSDs	3
Rethinking the Interactivity of OS and Device Layers in Memory Management	3
LanCeX: A Versatile and Lightweight Defense Method against Condensed Adversarial Attacks in Image and Audio Recognition	3
FSIMR: File-system-aware Data Management for Interlaced Magnetic Recording	3
Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches	3
Mining Hyperproperties using Temporal Logics	3
Securing Pacemakers using Runtime Monitors over Physiological Signals	2
Scalable Binary Neural Network Applications in Oblivious Inference	2
An Efficient and Flexible Stochastic CGRA Mapping Approach	2
A Construction Kit for Efficient Low Power Neural Network Accelerator Designs	2
Accelerated Fire Detection and Localization at Edge	2
Integrated Hardware Garbage Collection	2
LL-GNN: Low Latency Graph Neural Networks on FPGAs for High Energy Physics	2
Tolerating Defects in Low-Power Neural Network Accelerators Via Retraining-Free Weight Approximation	2
DASS: Differentiable Architecture Search for Sparse Neural Networks	2
Improving Robustness in IoT Malware Detection through Execution Order Analysis	2
Test Generation for Hardware Trojan Detection Using Correlation Analysis and Genetic Algorithm	2
Automatic Generation of Resource and Accuracy Configurable Processing Elements	2
CORIDOR: Using CO herence and Tempo R al Local I ty to Mitigate Read D isurb	2
Time-Series Forecasting and Sequence Learning Using Memristor-based Reservoir System	2
Leveraging HLS to Design a Versatile & High-Performance Classic McEliece Accelerator	2
Early DSE and Automatic Generation of Coarse-grained Merged Accelerators	2
HeterogeneousRTOS: A CPU-FPGA Real-Time OS for Fault Tolerance on COTS at Near-Zero Timing Cost	2
Hardware-friendly User-specific Machine Learning for Edge Devices	2
Scabbard: An Exploratory Study on Hardware Aware Design Choices of Learning with Rounding-based Key Encapsulation Mechanisms	2
Energy-Efficient Communications for Improving Timely Progress of Intermittent-Powered BLE Devices	2
Asynchronous Compaction Acceleration Scheme for Near-data Processing-enabled LSM-tree-based KV Stores	2
AQuA: A New Image Quality Metric for Optimizing Video Analytics Systems	2
Regime Inference for Sound Floating-Point Optimizations	2
IoT-Fog-Cloud Centric Earthquake Monitoring and Prediction	2
DyCo: Dynamic, Contextualized AI Models	2
Reg-Tune: A Regression-Focused Fine-Tuning Approach for Profiling Low Energy Consumption and Latency	2
FedHIL: Heterogeneity Resilient Federated Learning for Robust Indoor Localization with Mobile Devices	2
C o -A pproximator : Enabling Performance Prediction in Colocated Applications.	2
An Ultra-low-power Embedded AI Fire Detection and Crowd Counting System for Indoor Areas	2
SIAM: Chiplet-based Scalable In-Memory Acceleration with Mesh for Deep Neural Networks	2
Physics-Driven Page Fault Handling for Customized Deception against CPS Malware	2
Deadline-Aware Task Offloading for Vehicular Edge Computing Networks Using Traffic Light Data	2
Automatic Generation of Fast and Accurate Performance Models for Deep Neural Network Accelerators	2
SENNA: Unified Hardware/Software Space Exploration for Parametrizable Neural Network Accelerators	2
TREAFET: Temperature-Aware Real-Time Task Scheduling for FinFET based Multicores	2
Online Distributed Schedule Randomization to Mitigate Timing Attacks in Industrial Control Systems	2
Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains	2
NeuroTAP: Thermal and Memory Access Pattern-Aware Data Mapping on 3D DRAM for Maximizing DNN Performance	2
Thermal Management for 3D-Stacked Systems via Unified Core-Memory Power Regulation	2
Combining Weight Approximation, Sharing and Retraining for Neural Network Model Compression	2
Design and Analysis of High Performance Heterogeneous Block-based Approximate Adders	2
Benchmarking and Configuring Security Levels in Intermittent Computing	2
An Efficient Approach for Improving Message Acceptance Rate and Link Utilization in Time-Sensitive Networking	2
TEFLON: Thermally Efficient Dataflow-aware 3D NoC for Accelerating CNN Inferencing on Manycore PIM Architectures	2
The Sparse Synchronous Model on Real Hardware	2
Scenario Based Run-Time Switching for Adaptive CNN-Based Applications at the Edge	2
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks	2
Post-Quantum Signatures on RISC-V with Hardware Acceleration	2
HEART: H ybrid Memory and E nergy- A ware R eal- T	2
RAD-FS: Remote Timing and Power SCA Security in DVFS-augmented Ultra-Low-Power Embedded Systems	2
A Review of Abstraction Methods Toward Verifying Neural Networks	2