• 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 15 matches

• 2015
• 
  Christian Dietrich, Martin Hoffmann, Daniel Lohmann:
  Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems. LCTES 2015: 6:1-6:10
• 
  Ryan Baird, Peter Gavin, Magnus Själander, David B. Whalley, Gang-Ryung Uh:
  Optimizing Transfers of Control in the Static Pipeline Architecture. LCTES 2015: 1:1-1:10
• 
  Alen Bardizbanyan, Magnus Själander, David B. Whalley, Per Larsson-Edefors:
  Improving Data Access Efficiency by Using Context-Aware Loads and Stores. LCTES 2015: 3:1-3:10
• 
  Kamyar Mirzazad Barijough, Matin Hashemi, Volodymyr Khibin, Soheil Ghiasi:
  Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications. LCTES 2015: 11:1-11:10
• 
  Soumyadeep Ghosh, Yongjun Park, Arun Raman:
  Enabling Efficient Alias Speculation. LCTES 2015: 7:1-7:10
• 
  Yixiao Lin, Sayan Mitra:
  StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. LCTES 2015: 9:1-9:10
• 
  Qingrui Liu, Changhee Jung, Dongyoon Lee, Devesh Tiwari:
  Clover: Compiler Directed Lightweight Soft Error Resilience. LCTES 2015: 2:1-2:10
• 
  Chen Liu, Chengmo Yang:
  Secure and Durable (SEDURA): An Integrated Encryption and Wear-leveling Framework for PCM-based Main Memory. LCTES 2015: 12:1-12:10
• 
  Stanislav Manilov, Björn Franke, Anthony Magrath, Cedric Andrieu:
  Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions. LCTES 2015: 5:1-5:10
• 
  Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein:
  Semantics Driven Hardware Design, Implementation, and Verification with ReWire. LCTES 2015: 13:1-13:10
• 
  Isabella Stilkerich, Clemens Lang, Christoph Erhardt, Michael Stilkerich:
  A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems. LCTES 2015: 4:1-4:11
• 
  Hans Christian Woithe, Ulrich Kremer:
  TrilobiteG: A programming architecture for autonomous underwater vehicles. LCTES 2015: 14:1-14:10
• 
  Zhenkai Zhang, Xenofon D. Koutsoukos:
  Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis. LCTES 2015: 10:1-10:10
• 
  Wenguang Zheng, Hui Wu:
  WCET-Aware Dynamic D-cache Locking for A Single Task. LCTES 2015: 8:1-8:10
• 
  Sam H. Noh, Sebastian Fischmeister, Jason Xue:
  Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015. ACM 2015, ISBN 978-1-4503-3257-6 [contents]