TECS - volume 20 - 2021 论文列表 |
| 点击这里查看 ACM Transactions on Embedded Computing Systems 的JCR分区、影响因子等信息 |
Volume 20, Number 6, November 2021
Kanika Saini Sheetal Kalra Sandeep K. Sood
Adaptive Computation Reuse for Energy-Efficient Training of Deep Neural Networks. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E. Dullerud
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs.Junio Cezar Ribeiro da Silva Lorena Leão Vinicius Petrucci Abdoulaye Gamatié Fernando Magno Quintão Pereira
Hardware Acceleration for Embedded Keyword Spotting: Tutorial and Survey.Juan Sebastian P. Giraldo Marian Verhelst
Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange and Encapsulation Protocols.Furkan Aydin Aydin Aysu Mohit Tiwari Andreas Gerstlauer Michael Orshansky
Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning.Kaustabha Ray Ansuman Banerjee
An Interpretable Machine Learning Model Enhanced Integrated CPU-GPU DVFS Governor. Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation.Volume 20, Number 5s, October 2021
Debabrata Senapati Arnab Sarkar Chandan Karfa
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems.Kyungmin Bae Peter Csaba Ölveczky
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis.Quan Zhou Jianjun Li Guohui Li
RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service.Haoran Li Chenyang Lu Christopher D. Gill
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.Meiyi Ma John A. Stankovic Ezio Bartocci Lu Feng
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping.Zhilu Wang Chao Huang Hyoseung Kim Wenchao Li Qi Zhu
Learning Nondeterministic Real-Time Automata.Jie An Bohua Zhan Naijun Zhan Miaomiao Zhang
Verified Lustre Normalization with Node Subsampling.Timothy Bourke Paul Jeanmaire Basile Pesin Marc Pouzet
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems.Srijeeta Maity Anirban Ghose Soumyajit Dey Swarnendu Biswas
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks.Quan Zhou Guohui Li Qi Chen Jianjun Li
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications.Yeli Feng Daniel Jun Xian Ng Arvind Easwaran
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities.Gyeongmin Lee Bongjun Kim Seungbin Song Changsu Kim Jong Kim Hanjun Kim
Structured Proofs for Adversarial Cyber-Physical Systems. Compositional Learning and Verification of Neural Network Controllers.Radoslav Ivanov Kishor Jothimurugan Steve Hsu Shaan Vaidya Rajeev Alur Osbert Bastani
PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices.Kevin Weiss Michel Rottleuthner Thomas C. Schmidt Matthias Wählisch
Killing Processes or Killing Flash? Escaping from the Dilemma Using Lightweight, Compression-Aware Swap for Mobile Devices.Yong-Xuan Wang Chung-Hsuan Tsai Li-Pin Chang
Schedulability Analysis for Timed Automata With Tasks.Jinghao Sun Nan Guan Rongxiao Shi Guozhen Tan Wang Yi
HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems.Mario Günzel Christian Hakert Kuan-Hsun Chen Jian-Jia Chen
Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors.Petros Voudouris Per Stenström Risat Pathan
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks.Zewei Chen Hang Lei Maolin Yang Yong Liao Lei Qiao
Tolerating Defects in Low-Power Neural Network Accelerators Via Retraining-Free Weight Approximation.Fateme S. Hosseini Fanruo Meng Chengmo Yang Wujie Wen Rosario Cammarota
Declarative Power Sequencing.Jasmin Schult Daniel David Schwyn Michael Giardino David Cock Reto Achermann Timothy Roscoe
Rtkaller: State-aware Task Generation for RTOS Fuzzing.Yuheng Shen Hao Sun Yu Jiang Heyuan Shi Yixiao Yang Wanli Chang
Towards an Integrated Vehicle Management System in DriveOS. Regime Inference for Sound Floating-Point Optimizations.Robert Rabe Anastasiia Izycheva Eva Darulova
Specification Guided Automated Synthesis of Feedback Controllers.Nikhil Kumar Singh Indranil Saha
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.Lin Zhang Pengyuan Lu Fanxin Kong Xin Chen Oleg Sokolsky Insup Lee
MaxTracker: Continuously Tracking the Maximum Computation Progress for Energy Harvesting ReRAM-based CNN Accelerators.Keni Qiu Nicholas Jao Kunyu Zhou Yongpan Liu Jack Sampson Mahmut Taylan Kandemir Vijaykrishnan Narayanan
Exploiting Activation Sparsity for Fast CNN Inference on Mobile GPUs.Chanyoung Oh Junhyuk So Sumin Kim Youngmin Yi
SNR: Squeezing Numerical Range Defuses Bit Error Vulnerability Surface in Deep Neural Networks. SAGE: A Split-Architecture Methodology for Efficient End-to-End Autonomous Vehicle Control.Arnav V. Malawade Mohanad Odema Sebastien Lajeunesse-DeGroot Mohammad Abdullah Al Faruque
Chauffeur: Benchmark Suite for Design and End-to-End Analysis of Self-Driving Vehicles on Embedded Systems.Biswadip Maity Saehanseul Yi Dongjoo Seo Leming Cheng Sung-Soo Lim Jong-Chan Kim Bryan Donyanavard Nikil D. Dutt
Exploring Efficient Architectures on Remote In-Memory NVM over RDMA.Qingfeng Zhuge Hao Zhang Edwin Hsing-Mean Sha Rui Xu Jun Liu Shengyu Zhang
MARS: mmWave-based Assistive Rehabilitation System for Smart Healthcare. Algorithm-hardware Co-design of Attention Mechanism on FPGA Devices.Xinyi Zhang Yawen Wu Peipei Zhou Xulong Tang Jingtong Hu
REPAIR: Control Flow Protection based on Register Pairing Updates for SW-Implemented HW Fault Tolerance.Uzair Sharif Daniel Mueller-Gritschneder Ulf Schlichtmann
Data Pattern Aware Reliability Enhancement Scheme for 3D Solid-State Drives.Shiqiang Nie Weiguo Wu Chi Zhang
SIAM: Chiplet-based Scalable In-Memory Acceleration with Mesh for Deep Neural Networks.Gokul Krishnan Sumit K. Mandal Manvitha Pannala Chaitali Chakrabarti Jae-Sun Seo Ümit Y. Ogras Yu Cao
LATTE: LSTM Self-Attention based Anomaly Detection in E mbedded Automotive Platforms.Vipin Kumar Kukkala Sooryaa Vignesh Thiruloga Sudeep Pasricha
HW-FlowQ: A Multi-Abstraction Level HW-CNN Co-design Quantization Methodology.Nael Fasfous Manoj Rohit Vemparala Alexander Frickenstein Emanuele Valpreda Driton Salihu Nguyen Anh Vu Doan Christian Unger Naveen Shankar Nagaraja Maurizio Martina Walter Stechele
Hardware Performance Counters: Ready-Made vs Tailor-Made.Abraham Peedikayil Kuruvila Anushree Mahapatra Ramesh Karri Kanad Basu
Intermittent-Aware Neural Architecture Search.Hashan Roshantha Mendis Chih-Kai Kang Pi-Cheng Hsiu
FLASH: Fast Neural Architecture Search with Hardware Optimization.Guihong Li Sumit K. Mandal Ümit Y. Ogras Radu Marculescu
Prepare: Power-Aware Approximate Real-time Task Scheduling for Energy-Adaptive QoS Maximization.Shounak Chakraborty Sangeet Saha Magnus Själander Klaus D. McDonald-Maier
Heterogeneity-aware Multicore Synchronization for Intermittent Systems.Wei-Ming Chen Tei-Wei Kuo Pi-Cheng Hsiu
Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks.Robert Khasanov Julian Robledo Christian Menard Andrés Goens Jerónimo Castrillón
Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge.Guilherme Korol Michael Guilherme Jordan Mateus Beck Rutzig Antonio Carlos Schneider Beck
Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes. ROBIN: A Robust Optical Binary Neural Network Accelerator.Febin P. Sunny Asif Mirza Mahdi Nikdast Sudeep Pasricha
On-device Prior Knowledge Incorporated Learning for Personalized Atrial Fibrillation Detection.Zhenge Jia Yiyu Shi Samir Saba Jingtong Hu
Learning to Train CNNs on Faulty ReRAM-based Manycore Accelerators.Biresh Kumar Joardar Janardhan Rao Doppa Hai Li Krishnendu Chakrabarty Partha Pratim Pande
MARCO: A High-performance Task Mapping and Routing Co-optimization Framework for Point-to-Point NoC-based Heterogeneous Computing Systems.Hui Chen Zihao Zhang Peng Chen Xiangzhong Luo Shiqing Li Weichen Liu
RiSA: A Reinforced Systolic Array for Depthwise Convolutions and Embedded Tensor Reshaping. You Only Traverse Twice: A YOTT Placement, Routing, and Timing Approach for CGRAs.Michael Canesche Westerley Carvalho Lucas Reis Matheus A. de Oliveira Salles V. G. Magalhães Peter Jamieson José Augusto Miranda Nacif Ricardo Ferreira
CICERO: A Domain-Specific Architecture for Efficient Regular Expression Matching.Daniele Parravicini Davide Conficconi Emanuele Del Sozzo Christian Pilato Marco D. Santambrogio
Two Birds With One Stone: Boosting Both Search and Write Performance for Tree Indices on Persistent Memory.Yongping Luo Peiquan Jin Zhou Zhang Junchen Zhang Bin Cheng Qinglin Zhang
Volume 20, Number 5, July 2021
Michael Witterauf Dominik Walter Frank Hannig Jürgen Teich
SEAMS: Self-Optimizing Runtime Manager for Approximate Memory Hierarchies.Biswadip Maity Bryan Donyanavard Anmol Surhonne Amir M. Rahmani Andreas Herkersdorf Nikil D. Dutt
The Predictable Execution Model in Practice: Compiling Real Applications for COTS Hardware.Björn Forsberg Marco Solieri Marko Bertogna Luca Benini Andrea Marongiu
A Distributed Real-time Scheduling System for Industrial Wireless Networks.Venkata P. Modekurthy Abusayeed Saifullah Sanjay Madria
SLAQA: Quality-level Aware Scheduling of Task Graphs on Heterogeneous Distributed Systems.Sanjit Kumar Roy Rajesh Devaraj Arnab Sarkar Debabrata Senapati
TAMA: Turn-aware Mapping and Architecture - A Power-efficient Network-on-Chip Approach.Rashid Aligholipour Mohammad Baharloo Behnam Farzaneh Meisam Abdollahi Ahmad Khonsari
Skills Gaps in the Industry: Opinions of Embedded Software Practitioners. A Composable Monitoring System for Heterogeneous Embedded Platforms.Giacomo Valente Tiziana Fanni Carlo Sau Tania Di Mascio Luigi Pomante Francesca Palumbo
Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking.Yuanbin Zhou Soheil Samii Petru Eles Zebo Peng
Integrated Hardware Garbage Collection.Andrés Amaya García David May Ed Nutting
Improving Power of DSP and CNN Hardware Accelerators Using Approximate Floating-point Multipliers.Vasileios Leon Theodora Paparouni Evangelos Petrongonas Dimitrios Soudris Kiamal Z. Pekmestzi
Determinism.Volume 20, Number 4, June 2021
Alexander Schulz-Rosengarten Steven Smyth Michael Mendler
Toward a Lingua Franca for Deterministic Concurrent Systems.Marten Lohstroh Christian Menard Soroush Bateni Edward A. Lee
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.Guillaume Dupont Yamine Aït Ameur Neeraj Kumar Singh Marc Pantel
Time Measurement and Control Blocks for Bare-Metal C++ Applications.Friederike Bruns Irune Yarza Philipp Ittershagen Kim Grüttner
Interactive Programmatic Modeling. Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems.Lukas Gressl Christian Steger Ulrich Neffe
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks.Nicola Bombieri Silvia Scaffeo Antonio Mastrandrea Simone Caligola Tommaso Carlucci Franco Fummi Carlo Laudanna Gabriela Constantin Rosalba Giugno
LPWAN in the TV White Spaces: A Practical Implementation and Deployment Experiences.Mahbubur Rahman Dali Ismail Venkata P. Modekurthy Abusayeed Saifullah
Efficient External Sorting for Memory-Constrained Embedded Devices with Flash Memory.Riley Jackson Jonathan Gresl Ramon Lawrence
Test Generation for Hardware Trojan Detection Using Correlation Analysis and Genetic Algorithm.Zhendong Shi Haocheng Ma Qizhi Zhang Yanjiang Liu Yiqiang Zhao Jiaji He
Introduction to the Special Issue on Specification and Design Languages (FDL 2019).Volume 20, Number 3, April 2021
Prawar Poudel Biswajit Ray Aleksandar Milenkovic
Precise Cache Profiling for Studying Radiation Effects.James Marshall Robert Gifford Gedare Bloom Gabriel Parmer Rahul Simha
Sense Your Power: The ECO Approach to Energy Awareness for IoT Devices.Michel Rottleuthner Thomas C. Schmidt Matthias Wählisch
UBAR: User- and Battery-aware Resource Management for Smartphones.Elham Shamsa Alma Pröbstl Nima Taherinejad Anil Kanduri Samarjit Chakraborty Amir M. Rahmani Pasi Liljeberg
Improving Performance-Power-Programmability in Space Avionics with Edge Devices: VBN on Myriad2 SoC.Vasileios Leon George Lentaris Evangelos Petrongonas Dimitrios Soudris Gianluca Furano Antonis Tavoularis David Moloney
Cooperative Coevolution-based Design Space Exploration for Multi-mode Dataflow Mapping.Bo Yuan Xiaofen Lu Ke Tang Xin Yao
Code-size-aware Scheduling of Synchronous Dataflow Graphs on Multicore Systems. SIKE in 32-bit ARM Processors Based on Redundant Number System for NIST Level-II.Hwajeong Seo Pakize Sanal Reza Azarderakhsh
Real-time, High-resolution Depth Upsampling on Embedded Accelerators. Editorial: Reimagining ACM Transactions on Embedded Computing Systems (TECS).Volume 20, Number 2, March 2021
Johanna Sepúlveda Mathieu Gross Andreas Zankl Georg Sigl
Lane Compression: A Lightweight Lossless Compression Method for Machine Learning on Embedded Systems.Yousun Ko Alex Chadwick Daniel Bates Robert D. Mullins
Facilitating Human Activity Data Annotation via Context-Aware Change Detection on Smartwatches.Ali Akbari Jonathan Martinez Roozbeh Jafari
Probabilistic Estimation of Threat Intrusion in Embedded Systems for Runtime Detection.Nadir Amin Carreon Sixing Lu Roman Lysecky
Reducing Energy in GPGPUs through Approximate Trivial Bypassing.Ehsan Atoofian Zayan Shaikh Ali Jannesari
Optimization of Signal Processing Applications Using Parameterized Error Models for Approximate Adders.Celia Dharmaraj Vinita Vasudevan Nitin Chandrachoodan
Heuristic Computation Offloading Algorithms for Mobile Users in Fog Computing. ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers.George Ungureanu José Edil Guimarães de Medeiros Timmy Sundström Ingemar Söderquist Anders Åhlander Ingo Sander
Analytical Program Power Characterization for Battery Depletion-time Estimation.Volume 20, Number 1, January 2021
Omar Adel Ibrahim Savio Sciancalepore Gabriele Oligeri Roberto Di Pietro
Verifying the Safety of Autonomous Systems with Neural Network Controllers.Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee
Golden Chip-Free Trojan Detection Leveraging Trojan Trigger's Side-Channel Fingerprinting.Jiaji He Haocheng Ma Yanjiang Liu Yiqiang Zhao
Improving the Performance of Hybrid Caches Using Partitioned Victim Caching.Sukarn Agarwal Hemangee K. Kapoor
Adaptive Task Allocation and Scheduling on NoC-based Multicore Platforms with Multitasking Processors.Suraj Paul Navonil Chatterjee Prasun Ghosal Jean-Philippe Diguet
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks.Paolo Pazzaglia Youcheng Sun Marco Di Natale
A TCAM-based Caching Architecture Framework for Packet Classification. Minimization of WCRT with Recovery Assurance from Hardware Trojans for Tasks on FPGA-based Cloud.