• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 224 matches

• 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)

skipping 194 more matches