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

• 2014
• 
  Anup Das, Rishad A. Shafik, Geoff V. Merrett, Bashir M. Al-Hashimi, Akash Kumar, Bharadwaj Veeravalli:
  Reinforcement Learning-Based Inter- and Intra-Application Thermal Optimization for Lifetime Improvement of Multicore Systems. DAC 2014: 170:1-170:6
• 
  Yael Abarbanel, Eli Singerman, Moshe Y. Vardi:
  Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. DAC 2014: 2:1-2:4
• 
  Nilmini Abeyratne, Supreet Jeloka, Yiping Kang, David T. Blaauw, Ronald G. Dreslinski, Reetuparna Das, Trevor N. Mudge:
  Quality-of-Service for a High-Radix Switch. DAC 2014: 163:1-163:6
• 
  Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman:
  Using a High-Level Test Generation Expert System for Testing In-Car Networks. DAC 2014: 134:1-134:6
• 
  Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv:
  Verification of Transactional Memory in POWER8. DAC 2014: 58:1-58:6
• 
  Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi, Michele Scandale:
  A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software. DAC 2014: 210:1-210:6
• 
  Junwhan Ahn, Sungjoo Yoo, Kiyoung Choi:
  Dynamic Power Management of Off-Chip Links for Hybrid Memory Cubes. DAC 2014: 139:1-139:6
• 
  Yeter Akgul, Diego Puschini, Suzanne Lesecq, Edith Beigné, Ivan Miro Panades, Pascal Benoit, Lionel Torres:
  Power management through DVFS and dynamic body biasing in FD-SOI circuits. DAC 2014: 183:1-183:6
• 
  Hassan Albalawi, Yuanning Li, Xin Li:
  Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation. DAC 2014: 67:1-67:6
• 
  Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
  Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization. DAC 2014: 194:1-194:6
• 
  Dean Michael Ancajas, Koushik Chakraborty, Sanghamitra Roy:
  Fort-NoCs: Mitigating the Threat of a Compromised NoC. DAC 2014: 158:1-158:6
• 
  Martin Andraud, Haralampos-G. D. Stratigopoulos, Emmanuel Simeu:
  One-Shot Calibration of RF Circuits Based on Non-Intrusive Sensors. DAC 2014: 10:1-10:2
• 
  Ifigeneia Apostolopoulou, Konstantis Daloukas, Nestor E. Evmorfopoulos, George I. Stamoulis:
  Selective Inversion of Inductance Matrix for Large-Scale Sparse RLC Simulation. DAC 2014: 119:1-119:6
• 
  Marjan Asadinia, Mohammad Arjomand, Hamid Sarbazi-Azad:
  OD3P: On-Demand Page Paired PCM. DAC 2014: 64:1-64:6
• 
  Aytac Atac, Zhimiao Chen, Lei Liao, Yifan Wang, Martin Schleyer, Ye Zhang, Ralf Wunderlich, Stefan Heinen:
  An HDL-Based System Design Methodology for Multistandard RF SoC's. DAC 2014: 167:1-167:6
• 
  Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan:
  Code Coverage of Assertions Using RTL Source Code Analysis. DAC 2014: 61:1-61:6
• 
  Philip Axer, Daniel Thiele, Rolf Ernst, Jonas Diemer:
  Exploiting Shaper Context to Improve Performance Bounds of Ethernet AVB Networks. DAC 2014: 18:1-18:6
• 
  Matthias Beckert, Moritz Neukirchner, Rolf Ernst, Stefan M. Petters:
  Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor. DAC 2014: 86:1-86:6
• 
  Palak Bhushan:
  A Rigorous Graphical Technique for Predicting Sub-harmonic Injection Locking in LC Oscillators. DAC 2014: 116:1-116:8
• 
  Haseeb Bokhari, Haris Javaid, Muhammad Shafique, Jörg Henkel, Sri Parameswaran:
  darkNoC: Designing Energy-Efficient Network-on-Chip with Multi-Vt Cells for Dark Silicon. DAC 2014: 161:1-161:6
• 
  Rubén Braojos, Hossein Mamaghanian, Alair Dias Junior, Giovanni Ansaloni, David Atienza, Francisco J. Rincón, Srinivasan Murali:
  Ultra-Low Power Design of Wearable Cardiac Monitoring Systems. DAC 2014: 17:1-17:6
• 
  Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
  Balancing Scalability and Uniformity in SAT Witness Generator. DAC 2014: 60:1-60:6
• 
  Vikas Chandra:
  Monitoring Reliability in Embedded Processors - A Multi-layer View. DAC 2014: 46:1-46:6
• 
  Yu-Ming Chang, Yuan-Hao Chang, Jian-Jia Chen, Tei-Wei Kuo, Hsiang-Pang Li, Hang-Ting Lue:
  On Trading Wear-leveling with Heal-leveling. DAC 2014: 83:1-83:6
• 
  Hua-Yu Chang, Iris Hui-Ru Jiang, Yao-Wen Chang:
  Functional ECO Using Metal-Configurable Gate-Array Spare Cells. DAC 2014: 191:1-191:6
• 
  Xiang Chen, Yiran Chen, Mian Dong, Jianzhong (Charlie) Zhang:
  Demystifying Energy Usage in Smartphones. DAC 2014: 70:1-70:5
• 
  Yi-Fang Chen, Chau-Chin Huang, Chien-Hsiung Chiou, Yao-Wen Chang, Chang-Jen Wang:
  Routability-Driven Blockage-Aware Macro Placement. DAC 2014: 124:1-124:6
• 
  Chien-Chih Chen, Yin-Chi Peng, Cheng-Fen Chen, Wei-Shan Wu, Qinghao Min, Pen-Chung Yew, Weihua Zhang, Tien-Fu Chen:
  DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation. DAC 2014: 129:1-129:6
• 
  Liang Chen, Mehdi Baradaran Tahoori:
  Reliability-aware Register Binding for Control-Flow Intensive Designs. DAC 2014: 75:1-75:6
• 
  Yu-Guang Chen, Tao Wang, Kuan-Yu Lai, Wan-Yu Wen, Yiyu Shi, Shih-Chieh Chang:
  Critical Path Monitor Enabled Dynamic Voltage Scaling for Graceful Degradation in Sub-Threshold Designs. DAC 2014: 98:1-98:6

skipping 184 more matches