


default search action
ACM Transactions on Embedded Computing Systems, Volume 20
Volume 20, Number 1, January 2021
- Debasri Saha, Susmita Sur-Kolay:

Minimization of WCRT with Recovery Assurance from Hardware Trojans for Tasks on FPGA-based Cloud. 1:1-1:25 - S. M. Srinivasavarma Vegesna

, Shiv Vidhyut, Sk. Noor Mahammad
:
A TCAM-based Caching Architecture Framework for Packet Classification. 2:1-2:19 - Paolo Pazzaglia

, Youcheng Sun
, Marco Di Natale
:
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. 3:1-3:26 - Suraj Paul, Navonil Chatterjee, Prasun Ghosal

, Jean-Philippe Diguet:
Adaptive Task Allocation and Scheduling on NoC-based Multicore Platforms with Multitasking Processors. 4:1-4:26 - Sukarn Agarwal

, Hemangee K. Kapoor:
Improving the Performance of Hybrid Caches Using Partitioned Victim Caching. 5:1-5:27 - Jiaji He

, Haocheng Ma, Yanjiang Liu
, Yiqiang Zhao:
Golden Chip-Free Trojan Detection Leveraging Trojan Trigger's Side-Channel Fingerprinting. 6:1-6:18 - Radoslav Ivanov

, Taylor J. Carpenter
, James Weimer, Rajeev Alur, George J. Pappas
, Insup Lee:
Verifying the Safety of Autonomous Systems with Neural Network Controllers. 7:1-7:26 - Omar Adel Ibrahim

, Savio Sciancalepore
, Gabriele Oligeri, Roberto Di Pietro:
MAGNETO: Fingerprinting USB Flash Drives via Unintentional Magnetic Emissions. 8:1-8:26
Volume 20, Number 2, March 2021
- Mahdi Mohammadpour Fard, Mahmood Hasanloo, Mehdi Kargahi:

Analytical Program Power Characterization for Battery Depletion-time Estimation. 9:1-9:9 - George Ungureanu

, José Edil Guimarães de Medeiros
, Timmy Sundström, Ingemar Söderquist, Anders Åhlander, Ingo Sander
:
ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers. 10:1-10:27 - Keqin Li

:
Heuristic Computation Offloading Algorithms for Mobile Users in Fog Computing. 11:1-11:28 - Celia Dharmaraj

, Vinita Vasudevan
, Nitin Chandrachoodan
:
Optimization of Signal Processing Applications Using Parameterized Error Models for Approximate Adders. 12:1-12:25 - Ehsan Atoofian

, Zayan Shaikh, Ali Jannesari
:
Reducing Energy in GPGPUs through Approximate Trivial Bypassing. 13:1-13:27 - Nadir Amin Carreon

, Sixing Lu
, Roman Lysecky
:
Probabilistic Estimation of Threat Intrusion in Embedded Systems for Runtime Detection. 14:1-14:27 - Ali Akbari

, Jonathan Martinez, Roozbeh Jafari
:
Facilitating Human Activity Data Annotation via Context-Aware Change Detection on Smartwatches. 15:1-15:20 - Yousun Ko, Alexandra W. Chadwick

, Daniel Bates, Robert D. Mullins
:
Lane Compression: A Lightweight Lossless Compression Method for Machine Learning on Embedded Systems. 16:1-16:26 - Johanna Sepúlveda, Mathieu Gross, Andreas Zankl

, Georg Sigl:
Beyond Cache Attacks: Exploiting the Bus-based Communication Structure for Powerful On-Chip Microarchitectural Attacks. 17:1-17:23
Volume 20, Number 3, April 2021
- Tulika Mitra:

Editorial: Reimagining ACM Transactions on Embedded Computing Systems (TECS). 18e:1-18e:3 - David Langerman

, Alan D. George
:
Real-time, High-resolution Depth Upsampling on Embedded Accelerators. 18:1-18:22 - Hwajeong Seo

, Pakize Sanal, Reza Azarderakhsh:
SIKE in 32-bit ARM Processors Based on Redundant Number System for NIST Level-II. 19:1-19:23 - Mingze Ma

, Rizos Sakellariou:
Code-size-aware Scheduling of Synchronous Dataflow Graphs on Multicore Systems. 20:1-20:24 - Bo Yuan

, Xiaofen Lu, Ke Tang, Xin Yao:
Cooperative Coevolution-based Design Space Exploration for Multi-mode Dataflow Mapping. 21:1-21:25 - Vasileios Leon

, George Lentaris
, Evangelos Petrongonas, Dimitrios Soudris, Gianluca Furano, Antonis Tavoularis, David Moloney:
Improving Performance-Power-Programmability in Space Avionics with Edge Devices: VBN on Myriad2 SoC. 22:1-22:23 - Elham Shamsa, Alma Pröbstl, Nima Taherinejad, Anil Kanduri, Samarjit Chakraborty

, Amir M. Rahmani
, Pasi Liljeberg:
UBAR: User- and Battery-aware Resource Management for Smartphones. 23:1-23:25 - Michel Rottleuthner, Thomas C. Schmidt

, Matthias Wählisch
:
Sense Your Power: The ECO Approach to Energy Awareness for IoT Devices. 24:1-24:25 - James Marshall

, Robert Gifford, Gedare Bloom
, Gabriel Parmer, Rahul Simha:
Precise Cache Profiling for Studying Radiation Effects. 25:1-25:25 - Prawar Poudel

, Biswajit Ray
, Aleksandar Milenkovic
:
Microcontroller Fingerprinting Using Partially Erased NOR Flash Memory Cells. 26:1-26:23
Volume 20, Number 4, June 2021
- Alain Girault, Reinhard von Hanxleden:

Introduction to the Special Issue on Specification and Design Languages (FDL 2019). 27:1-27:3 - Zhendong Shi, Haocheng Ma, Qizhi Zhang, Yanjiang Liu

, Yiqiang Zhao, Jiaji He
:
Test Generation for Hardware Trojan Detection Using Correlation Analysis and Genetic Algorithm. 28:1-28:20 - Riley Jackson, Jonathan Gresl, Ramon Lawrence:

Efficient External Sorting for Memory-Constrained Embedded Devices with Flash Memory. 29:1-29:21 - Mahbubur Rahman

, Dali Ismail, Venkata P. Modekurthy
, Abusayeed Saifullah
:
LPWAN in the TV White Spaces: A Practical Implementation and Deployment Experiences. 30:1-30:26
- Nicola Bombieri, Silvia Scaffeo, Antonio Mastrandrea, Simone Caligola

, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno:
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. 31:1-31:20 - Lukas Gressl

, Christian Steger
, Ulrich Neffe:
Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems. 32:1-32:24 - David Broman:

Interactive Programmatic Modeling. 33:1-33:26 - Friederike Bruns

, Irune Yarza
, Philipp Ittershagen, Kim Grüttner:
Time Measurement and Control Blocks for Bare-Metal C++ Applications. 34:1-34:26 - Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. 35:1-35:37 - Marten Lohstroh

, Christian Menard
, Soroush Bateni, Edward A. Lee:
Toward a Lingua Franca for Deterministic Concurrent Systems. 36:1-36:27 - Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler:

Toward Object-oriented Modeling in SCCharts. 37:1-37:26
Volume 20, Number 5, July 2021
- Edward A. Lee:

Determinism. 38:1-38:34 - Vasileios Leon

, Theodora Paparouni, Evangelos Petrongonas, Dimitrios Soudris, Kiamal Z. Pekmestzi:
Improving Power of DSP and CNN Hardware Accelerators Using Approximate Floating-point Multipliers. 39:1-39:21 - Andrés Amaya García, David May, Ed Nutting:

Integrated Hardware Garbage Collection. 40:1-40:25 - Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:

Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking. 41:1-41:24 - Giacomo Valente

, Tiziana Fanni
, Carlo Sau, Tania Di Mascio
, Luigi Pomante, Francesca Palumbo
:
A Composable Monitoring System for Heterogeneous Embedded Platforms. 42:1-42:34 - Deniz Akdur

:
Skills Gaps in the Industry: Opinions of Embedded Software Practitioners. 43:1-43:39 - Rashid Aligholipour, Mohammad Baharloo

, Behnam Farzaneh
, Meisam Abdollahi, Ahmad Khonsari:
TAMA: Turn-aware Mapping and Architecture - A Power-efficient Network-on-Chip Approach. 44:1-44:24 - Sanjit Kumar Roy

, Rajesh Devaraj
, Arnab Sarkar, Debabrata Senapati
:
SLAQA: Quality-level Aware Scheduling of Task Graphs on Heterogeneous Distributed Systems. 45:1-45:31 - Venkata P. Modekurthy

, Abusayeed Saifullah
, Sanjay Madria:
A Distributed Real-time Scheduling System for Industrial Wireless Networks. 46:1-46:28 - Björn Forsberg, Marco Solieri

, Marko Bertogna, Luca Benini, Andrea Marongiu:
The Predictable Execution Model in Practice: Compiling Real Applications for COTS Hardware. 47:1-47:25 - Biswadip Maity

, Bryan Donyanavard, Anmol Surhonne, Amir M. Rahmani
, Andreas Herkersdorf, Nikil D. Dutt:
SEAMS: Self-Optimizing Runtime Manager for Approximate Memory Hierarchies. 48:1-48:26 - Michael Witterauf, Dominik Walter, Frank Hannig, Jürgen Teich

:
Symbolic Loop Compilation for Tightly Coupled Processor Arrays. 49:1-49:31
Volume 20, Number 5s, October 2021
Section: CASES 2021
- Yongping Luo

, Peiquan Jin, Zhou Zhang
, Junchen Zhang, Bin Cheng, Qinglin Zhang:
Two Birds With One Stone: Boosting Both Search and Write Performance for Tree Indices on Persistent Memory. 50:1-50:25 - Daniele Parravicini, Davide Conficconi

, Emanuele Del Sozzo
, Christian Pilato
, Marco D. Santambrogio
:
CICERO: A Domain-Specific Architecture for Efficient Regular Expression Matching. 51:1-51:24 - Michael Canesche, Westerley Carvalho, Lucas Reis, Matheus Aguilar de Oliveira, Salles V. G. Magalhães, Peter Jamieson, José Augusto Miranda Nacif, Ricardo Ferreira:

You Only Traverse Twice: A YOTT Placement, Routing, and Timing Approach for CGRAs. 52:1-52:25 - Hyungmin Cho:

RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping. 53:1-53:20 - Hui Chen, Zihao Zhang, Peng Chen

, Xiangzhong Luo, Shiqing Li, Weichen Liu:
MARCO: A High-performance Task Mapping and Routing Co-optimization Framework for Point-to-Point NoC-based Heterogeneous Computing Systems. 54:1-54:21 - Biresh Kumar Joardar, Janardhan Rao Doppa, Hai Li, Krishnendu Chakrabarty, Partha Pratim Pande:

Learning to Train CNNs on Faulty ReRAM-based Manycore Accelerators. 55:1-55:23 - Zhenge Jia

, Yiyu Shi
, Samir Saba, Jingtong Hu:
On-device Prior Knowledge Incorporated Learning for Personalized Atrial Fibrillation Detection. 56:1-56:25 - Febin P. Sunny, Asif Mirza, Mahdi Nikdast, Sudeep Pasricha:

ROBIN: A Robust Optical Binary Neural Network Accelerator. 57:1-57:24 - Stefan Tauner

, Mario Telesklav:
Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes. 58:1-58:25 - Guilherme Korol, Michael Guilherme Jordan, Mateus Beck Rutzig, Antonio Carlos Schneider Beck:

Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge. 59:1-59:26 - Robert Khasanov

, Julian Robledo
, Christian Menard, Andrés Goens, Jerónimo Castrillón:
Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks. 60:1-60:26
- Wei-Ming Chen, Tei-Wei Kuo

, Pi-Cheng Hsiu
:
Heterogeneity-aware Multicore Synchronization for Intermittent Systems. 61:1-61:22 - Shounak Chakraborty

, Sangeet Saha, Magnus Själander
, Klaus D. McDonald-Maier:
Prepare: Power-Aware Approximate Real-time Task Scheduling for Energy-Adaptive QoS Maximization. 62:1-61:25 - Guihong Li, Sumit K. Mandal, Ümit Y. Ogras

, Radu Marculescu:
FLASH: Fast Neural Architecture Search with Hardware Optimization. 63:1-63:26 - Hashan Roshantha Mendis, Chih-Kai Kang, Pi-Cheng Hsiu

:
Intermittent-Aware Neural Architecture Search. 64:1-64:27 - Abraham Peedikayil Kuruvila, Anushree Mahapatra, Ramesh Karri

, Kanad Basu:
Hardware Performance Counters: Ready-Made vs Tailor-Made. 65:1-65:26 - Nael Fasfous, Manoj Rohit Vemparala, Alexander Frickenstein, Emanuele Valpreda

, Driton Salihu, Nguyen Anh Vu Doan, Christian Unger, Naveen Shankar Nagaraja, Maurizio Martina, Walter Stechele:
HW-FlowQ: A Multi-Abstraction Level HW-CNN Co-design Quantization Methodology. 66:1-66:25 - Vipin Kumar Kukkala, Sooryaa Vignesh Thiruloga, Sudeep Pasricha:

LATTE: LSTM Self-Attention based Anomaly Detection in E mbedded Automotive Platforms. 67:1-67:23 - Gokul Krishnan, Sumit K. Mandal, Manvitha Pannala, Chaitali Chakrabarti, Jae-Sun Seo, Ümit Y. Ogras

, Yu Cao:
SIAM: Chiplet-based Scalable In-Memory Acceleration with Mesh for Deep Neural Networks. 68:1-68:24 - Shiqiang Nie, Weiguo Wu, Chi Zhang

:
Data Pattern Aware Reliability Enhancement Scheme for 3D Solid-State Drives. 69:1-69:20 - Uzair Sharif

, Daniel Mueller-Gritschneder
, Ulf Schlichtmann:
REPAIR: Control Flow Protection based on Register Pairing Updates for SW-Implemented HW Fault Tolerance. 70:1-70:22 - Xinyi Zhang, Yawen Wu, Peipei Zhou

, Xulong Tang, Jingtong Hu:
Algorithm-hardware Co-design of Attention Mechanism on FPGA Devices. 71:1-71:24 - Sizhe An

, Ümit Y. Ogras:
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare. 72:1-72:22 - Qingfeng Zhuge, Hao Zhang, Edwin Hsing-Mean Sha

, Rui Xu, Jun Liu, Shengyu Zhang:
Exploring Efficient Architectures on Remote In-Memory NVM over RDMA. 73:1-73:20 - Biswadip Maity, Saehanseul Yi

, Dongjoo Seo
, Leming Cheng, Sung-Soo Lim, Jong-Chan Kim
, Bryan Donyanavard, Nikil D. Dutt:
Chauffeur: Benchmark Suite for Design and End-to-End Analysis of Self-Driving Vehicles on Embedded Systems. 74:1-74:22 - Arnav V. Malawade

, Mohanad Odema, Sebastien Lajeunesse-DeGroot, Mohammad Abdullah Al Faruque
:
SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control. 75:1-75:22 - Elbruz Ozen, Alex Orailoglu:

SNR: Squeezing Numerical Range Defuses Bit Error Vulnerability Surface in Deep Neural Networks. 76:1-76:25 - Chanyoung Oh, Junhyuk So, Sumin Kim, Youngmin Yi:

Exploiting Activation Sparsity for Fast CNN Inference on Mobile GPUs. 77:1-77:25 - Keni Qiu, Nicholas Jao, Kunyu Zhou

, Yongpan Liu, Jack Sampson, Mahmut Taylan Kandemir, Vijaykrishnan Narayanan:
MaxTracker: Continuously Tracking the Maximum Computation Progress for Energy Harvesting ReRAM-based CNN Accelerators. 78:1-78:23
- Lin Zhang

, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky
, Insup Lee:
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. 79:1-79:24 - Nikhil Kumar Singh, Indranil Saha:

Specification Guided Automated Synthesis of Feedback Controllers. 80:1-80:26 - Robert Rabe, Anastasiia Izycheva, Eva Darulova

:
Regime Inference for Sound Floating-Point Optimizations. 81:1-81:23 - Soham Sinha, Richard West:

Towards an Integrated Vehicle Management System in DriveOS. 82:1-82:24 - Yuheng Shen, Hao Sun

, Yu Jiang, Heyuan Shi
, Yixiao Yang, Wanli Chang:
Rtkaller: State-aware Task Generation for RTOS Fuzzing. 83:1-83:22 - Jasmin Schult, Daniel David Schwyn

, Michael Giardino, David A. Cock
, Reto Achermann, Timothy Roscoe:
Declarative Power Sequencing. 84:1-84:21 - Fateme S. Hosseini, Fanruo Meng, Chengmo Yang, Wujie Wen

, Rosario Cammarota:
Tolerating Defects in Low-Power Neural Network Accelerators Via Retraining-Free Weight Approximation. 85:1-85:21 - Zewei Chen

, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao:
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks. 86:1-86:22 - Petros Voudouris, Per Stenström, Risat Pathan:

Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors. 87:1-87:25 - Mario Günzel

, Christian Hakert, Kuan-Hsun Chen
, Jian-Jia Chen
:
HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems. 88:1-88:23 - Jinghao Sun, Nan Guan

, Rongxiao Shi, Guozhen Tan, Wang Yi:
Schedulability Analysis for Timed Automata With Tasks. 89:1-89:26 - Yong-Xuan Wang, Chung-Hsuan Tsai, Li-Pin Chang:

Killing Processes or Killing Flash? Escaping from the Dilemma Using Lightweight, Compression-Aware Swap for Mobile Devices. 90:1-90:24 - Kevin Weiss

, Michel Rottleuthner
, Thomas C. Schmidt
, Matthias Wählisch
:
PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices. 91:1-91:26 - Radoslav Ivanov

, Kishor Jothimurugan
, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani:
Compositional Learning and Verification of Neural Network Controllers. 92:1-92:26 - Rose Bohrer

, André Platzer
:
Structured Proofs for Adversarial Cyber-Physical Systems. 93:1-93:26 - Gyeongmin Lee, Bongjun Kim

, Seungbin Song, Changsu Kim
, Jong Kim, Hanjun Kim
:
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities. 94:1-94:21 - Yeli Feng

, Daniel Jun Xian Ng, Arvind Easwaran
:
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications. 95:1-95:26 - Quan Zhou, Guohui Li, Qi Chen, Jianjun Li:

Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks. 96:1-96:22 - Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas:

Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems. 97:1-97:28 - Timothy Bourke

, Paul Jeanmaire, Basile Pesin, Marc Pouzet:
Verified Lustre Normalization with Node Subsampling. 98:1-98:25 - Jie An

, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning Nondeterministic Real-Time Automata. 99:1-99:26 - Zhilu Wang

, Chao Huang, Hyoseung Kim
, Wenchao Li
, Qi Zhu:
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. 100:1-100:25 - Meiyi Ma, John A. Stankovic, Ezio Bartocci

, Lu Feng:
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. 101:1-101:25 - Liren Yang

, Necmiye Ozay
:
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. 102:1-102:25 - Haoran Li, Chenyang Lu, Christopher D. Gill:

RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service. 103:1-103:22 - Quan Zhou, Jianjun Li, Guohui Li:

Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis. 104:1-104:24 - Kyungmin Bae, Peter Csaba Ölveczky:

MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. 105:1-105:26 - Debabrata Senapati

, Arnab Sarkar
, Chandan Karfa
:
HMDS: A Makespan Minimizing DAG Scheduler for Heterogeneous Distributed Systems. 106:1-106:26
Volume 20, Number 6, November 2021
- Márton Búr

, Kristóf Marussy
, Brett H. Meyer, Dániel Varró
:
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. 107:1-107:36 - Jurn-Gyu Park

, Nikil D. Dutt, Sung-Soo Lim:
An Interpretable Machine Learning Model Enhanced Integrated CPU-GPU DVFS Governor. 108:1-108:28 - Kaustabha Ray, Ansuman Banerjee:

Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning. 109:1-109:33 - Furkan Aydin

, Aydin Aysu, Mohit Tiwari, Andreas Gerstlauer, Michael Orshansky:
Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange and Encapsulation Protocols. 110:1-110:22 - Juan Sebastian Piedrahita Giraldo, Marian Verhelst:

Hardware Acceleration for Embedded Keyword Spotting: Tutorial and Survey. 111:1-111:25 - Junio Cezar Ribeiro da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira:

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs. 112:1-112:35 - Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. 113:1-113:27 - Jason Servais, Ehsan Atoofian:

Adaptive Computation Reuse for Energy-Efficient Training of Deep Neural Networks. 114:1-114:24 - Kanika Saini

, Sheetal Kalra
, Sandeep K. Sood:
IoT-Fog-Cloud Centric Earthquake Monitoring and Prediction. 115:1-115:26

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














