- Jorge Castro-Godínez, Muhammad Shafique, Jörg Henkel:
ECAx: Balancing Error Correction Costs in Approximate Accelerators. ACM Trans. Embed. Comput. Syst. 18(5s): 48:1-48:20 (2019) - Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller:
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. ACM Trans. Embed. Comput. Syst. 18(1): 7:1-7:27 (2019) - Yu-Chieh Chen, Chin-Chen Chang, Ramesh Perumal, Shih-Rung Yeh, Yen-Chung Chang, Hsin Chen:
Optimization and Implementation of Wavelet-based Algorithms for Detecting High-voltage Spindles in Neuron Signals. ACM Trans. Embed. Comput. Syst. 18(5): 39:1-39:16 (2019) - Zhengguo Chen, Quan Deng, Nong Xiao, Kirk Pruhs, Youtao Zhang:
DWMAcc: Accelerating Shift-based CNNs with Domain Wall Memories. ACM Trans. Embed. Comput. Syst. 18(5s): 69:1-69:19 (2019) - Peng Chen, Weichen Liu, Xu Jiang, Qingqiang He, Nan Guan:
Timing-Anomaly Free Dynamic Scheduling of Conditional DAG Tasks on Multi-Core Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 91:1-91:19 (2019) - Zhongqi Cheng, Rainer Dömer:
Analyzing Variable Entanglement for Parallel Simulation of SystemC TLM-2.0 Models. ACM Trans. Embed. Comput. Syst. 18(5s): 79:1-79:20 (2019) - Amina Cherif, Malika Belkadi, Damien Sauveron:
A Lightweight and Secure Data Collection Serverless Protocol Demonstrated in an Active RFIDs Scenario. ACM Trans. Embed. Comput. Syst. 18(3): 27:1-27:27 (2019) - Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns:
A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. ACM Trans. Embed. Comput. Syst. 18(5s): 85:1-85:20 (2019) - Shail Dave, Youngbin Kim, Sasikanth Avancha, Kyoungwoo Lee, Aviral Shrivastava:
dMazeRunner: Executing Perfectly Nested Loops on Dataflow Accelerators. ACM Trans. Embed. Comput. Syst. 18(5s): 70:1-70:27 (2019) - Patricia Derler, Klaus Schneider, Jean-Pierre Talpin:
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embed. Comput. Syst. 18(1): 1:1-1:2 (2019) - Aryan Deshwal, Nitthilan Kannappan Jayakodi, Biresh Kumar Joardar, Janardhan Rao Doppa, Partha Pratim Pande:
MOOS: A Multi-Objective Design Space Exploration and Optimization Framework for NoC Enabled Manycore Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 77:1-77:23 (2019) - Gaddiel Desirena-Lopez, Antonio Ramírez-Treviño, José Luis Briz, Carlos Renato Vázquez, David Gómez-Gutiérrez:
Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets. ACM Trans. Embed. Comput. Syst. 18(4): 36:1-36:24 (2019) - Parasara Sridhar Duggirala, Stanley Bak:
Aggregation Strategies in Reachable Set Computation of Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 99:1-99:21 (2019) - Alexy Torres Aurora Dugo, Jean-Baptiste Lefoul, Felipe Gohring de Magalhaes, Dahman Assal, Gabriela Nicolescu:
Cache Locking Content Selection Algorithms for ARINC-653 Compliant RTOS. ACM Trans. Embed. Comput. Syst. 18(5s): 76:1-76:20 (2019) - Marco Dürr, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen:
End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 58:1-58:24 (2019) - Guy Durrieu, Claire Pagetti:
GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms. ACM Trans. Embed. Comput. Syst. 18(5): 41:1-41:24 (2019) - Stephen A. Edwards, Richard Townsend, Martha Barker, Martha A. Kim:
Compositional Dataflow Circuits. ACM Trans. Embed. Comput. Syst. 18(1): 5:1-5:27 (2019) - Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher:
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 18(1): 4:1-4:28 (2019) - Daniel D. Fong, Vivek J. Srinivasan, Kourosh Vali, Soheil Ghiasi:
Optode Design Space Exploration for Clinically-robust Non-invasive Fetal Oximetry. ACM Trans. Embed. Comput. Syst. 18(5s): 63:1-63:22 (2019) - Bineet Ghosh, Parasara Sridhar Duggirala:
Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 97:1-97:22 (2019) - Larissa Rozales Gonçalves, Rafael Fão de Moura, Luigi Carro:
Aggressive Energy Reduction for Video Inference with Software-only Strategies. ACM Trans. Embed. Comput. Syst. 18(5s): 46:1-46:20 (2019) - Krishnendu Guha, Debasri Saha, Amlan Chakrabarti:
Stigmergy-Based Security for SoC Operations From Runtime Performance Degradation of SoC Components. ACM Trans. Embed. Comput. Syst. 18(2): 14:1-14:26 (2019) - Salah S. Harb, Moath H. A. Jarrah:
FPGA Implementation of the ECC Over GF(2m) for Small Embedded Applications. ACM Trans. Embed. Comput. Syst. 18(2): 17:1-17:19 (2019) - Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 106:1-106:22 (2019) - Zhe Jiang, Neil C. Audsley, Pan Dong:
BlueIO: A Scalable Real-Time Hardware I/O Virtualization System for Many-core Embedded Systems. ACM Trans. Embed. Comput. Syst. 18(3): 19:1-19:25 (2019) - Weiwen Jiang, Edwin H.-M. Sha, Xinyi Zhang, Lei Yang, Qingfeng Zhuge, Yiyu Shi, Jingtong Hu:
Achieving Super-Linear Speedup across Multi-FPGA for Real-Time DNN Inference. ACM Trans. Embed. Comput. Syst. 18(5s): 67:1-67:23 (2019) - Jihye Kim, Jiwon Lee, Hankyung Ko, Donghwan Oh, Semin Han, Gwonho Jeong, Hyunok Oh:
AuthCropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 62:1-62:17 (2019) - Minsu Kim, Jeong-Keun Park, Sungyeol Kim, Insu Yang, Hyunsoo Jung, Soo-Mook Moon:
Output-based Intermediate Representation for Translation of Test-pattern Program. ACM Trans. Embed. Comput. Syst. 18(5s): 55:1-55:22 (2019) - Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, Paul Bogdan:
Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach. ACM Trans. Embed. Comput. Syst. 18(5s): 96:1-96:21 (2019) - Ratan Lal, Pavithra Prabhakar:
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 98:1-98:23 (2019)