- 2021
- Shounak Chakraborty, Sangeet Saha, Magnus Själander, Klaus D. McDonald-Maier:
Prepare: Power-Aware Approximate Real-time Task Scheduling for Energy-Adaptive QoS Maximization. ACM Trans. Embed. Comput. Syst. 20(5s): 62:1-61:25 (2021) - Quan Zhou, Guohui Li, Qi Chen, Jianjun Li:
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks. ACM Trans. Embed. Comput. Syst. 20(5s): 96:1-96:22 (2021) - Quan Zhou, Jianjun Li, Guohui Li:
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis. ACM Trans. Embed. Comput. Syst. 20(5s): 104:1-104:24 (2021) - Nikhil Kumar Singh, Indranil Saha:
Specification Guided Automated Synthesis of Feedback Controllers. ACM Trans. Embed. Comput. Syst. 20(5s): 80:1-80:26 (2021) - Sizhe An, Ümit Y. Ogras:
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare. ACM Trans. Embed. Comput. Syst. 20(5s): 72:1-72:22 (2021) - Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning Nondeterministic Real-Time Automata. ACM Trans. Embed. Comput. Syst. 20(5s): 99:1-99:26 (2021) - Kyungmin Bae, Peter Csaba Ölveczky:
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 105:1-105:26 (2021) - Rose Bohrer, André Platzer:
Structured Proofs for Adversarial Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 93:1-93:26 (2021) - Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet:
Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. 20(5s): 98:1-98:25 (2021) - 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. ACM Trans. Embed. Comput. Syst. 20(5s): 52:1-52:25 (2021) - Wei-Ming Chen, Tei-Wei Kuo, Pi-Cheng Hsiu:
Heterogeneity-aware Multicore Synchronization for Intermittent Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 61:1-61:22 (2021) - Zewei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao:
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks. ACM Trans. Embed. Comput. Syst. 20(5s): 86:1-86:22 (2021) - 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. ACM Trans. Embed. Comput. Syst. 20(5s): 54:1-54:21 (2021) - Hyungmin Cho:
RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping. ACM Trans. Embed. Comput. Syst. 20(5s): 53:1-53:20 (2021) - 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. ACM Trans. Embed. Comput. Syst. 20(5s): 66:1-66:25 (2021) - Yeli Feng, Daniel Jun Xian Ng, Arvind Easwaran:
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications. ACM Trans. Embed. Comput. Syst. 20(5s): 95:1-95:26 (2021) - Mario Günzel, Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen:
HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 88:1-88:23 (2021) - Fateme S. Hosseini, Fanruo Meng, Chengmo Yang, Wujie Wen, Rosario Cammarota:
Tolerating Defects in Low-Power Neural Network Accelerators Via Retraining-Free Weight Approximation. ACM Trans. Embed. Comput. Syst. 20(5s): 85:1-85:21 (2021) - Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani:
Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20(5s): 92:1-92:26 (2021) - Zhenge Jia, Yiyu Shi, Samir Saba, Jingtong Hu:
On-device Prior Knowledge Incorporated Learning for Personalized Atrial Fibrillation Detection. ACM Trans. Embed. Comput. Syst. 20(5s): 56:1-56:25 (2021) - Biresh Kumar Joardar, Janardhan Rao Doppa, Hai Li, Krishnendu Chakrabarty, Partha Pratim Pande:
Learning to Train CNNs on Faulty ReRAM-based Manycore Accelerators. ACM Trans. Embed. Comput. Syst. 20(5s): 55:1-55:23 (2021) - 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. ACM Trans. Embed. Comput. Syst. 20(5s): 60:1-60:26 (2021) - 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. ACM Trans. Embed. Comput. Syst. 20(5s): 59:1-59:26 (2021) - 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. ACM Trans. Embed. Comput. Syst. 20(5s): 68:1-68:24 (2021) - Vipin Kumar Kukkala, Sooryaa Vignesh Thiruloga, Sudeep Pasricha:
LATTE: LSTM Self-Attention based Anomaly Detection in E mbedded Automotive Platforms. ACM Trans. Embed. Comput. Syst. 20(5s): 67:1-67:23 (2021) - Abraham Peedikayil Kuruvila, Anushree Mahapatra, Ramesh Karri, Kanad Basu:
Hardware Performance Counters: Ready-Made vs Tailor-Made. ACM Trans. Embed. Comput. Syst. 20(5s): 65:1-65:26 (2021) - Gyeongmin Lee, Bongjun Kim, Seungbin Song, Changsu Kim, Jong Kim, Hanjun Kim:
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities. ACM Trans. Embed. Comput. Syst. 20(5s): 94:1-94:21 (2021) - Haoran Li, Chenyang Lu, Christopher D. Gill:
RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service. ACM Trans. Embed. Comput. Syst. 20(5s): 103:1-103:22 (2021) - Guihong Li, Sumit K. Mandal, Ümit Y. Ogras, Radu Marculescu:
FLASH: Fast Neural Architecture Search with Hardware Optimization. ACM Trans. Embed. Comput. Syst. 20(5s): 63:1-63:26 (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. ACM Trans. Embed. Comput. Syst. 20(5s): 50:1-50:25 (2021)