Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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, Alex 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
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
