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

• 2012
• 
  Karthik Chandrasekar, Benny Akesson, Kees Goossens:
  Run-time power-down strategies for real-time SDRAM memory controllers. DAC 2012: 988-993
• 
  Qiang Ma, Hongbo Zhang, Martin D. F. Wong:
  Triple patterning aware routing and its comparison with double patterning aware routing in 14nm technology. DAC 2012: 591-596
• 
  Aadithya V. Karthik, Jaijeet S. Roychowdhury:
  DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. DAC 2012: 311-316
• 
  Abhishek, Farid N. Najm:
  Incremental power grid verification. DAC 2012: 151-156
• 
  Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi:
  A code morphing methodology to automate power analysis countermeasures. DAC 2012: 77-82
• 
  Seyed Nematollah Ahmadyan, Jayanand Asok Kumar, Shobha Vasudevan:
  Goal-oriented stimulus generation for analog circuits. DAC 2012: 1018-1023
• 
  Ahmed Al-Maashri, Michael DeBole, Matthew Cotter, Nandhini Chandramoorthy, Yang Xiao, Vijaykrishnan Narayanan, Chaitali Chakrabarti:
  Accelerating neuromorphic vision algorithms for recognition. DAC 2012: 579-584
• 
  Krit Athikulwongse, Mohit Pathak, Sung Kyu Lim:
  Exploiting die-to-die thermal coupling in 3D IC placement. DAC 2012: 741-746
• 
  Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla:
  A compiler and runtime for heterogeneous computing. DAC 2012: 271-276
• 
  Jonathan Bachrach, Huy Vo, Brian C. Richards, Yunsup Lee, Andrew Waterman, Rimas Avizienis, John Wawrzynek, Krste Asanovic:
  Chisel: constructing hardware in a Scala embedded language. DAC 2012: 1216-1225
• 
  Luis Angel D. Bathen, Nikil D. Dutt:
  HaVOC: a hybrid memory-aware virtualization layer for on-chip distributed ScratchPad and non-volatile memories. DAC 2012: 447-452
• 
  Ivan Beretta, Francisco J. Rincón, Nadia Khaled, Paolo Roberto Grassi, Vincenzo Rana, David Atienza:
  Design exploration of energy-performance trade-offs for wireless sensor networks. DAC 2012: 1043-1048
• 
  Valeria Bertacco:
  Humans for EDA and EDA for humans. DAC 2012: 729-733
• 
  Kshitij Bhardwaj, Koushik Chakraborty, Sanghamitra Roy:
  Towards graceful aging degradation in NoCs through an adaptive routing algorithm. DAC 2012: 382-391
• 
  Shashikanth Bobba, Michele De Marchi, Yusuf Leblebici, Giovanni De Micheli:
  Physical synthesis onto a Sea-of-Tiles with double-gate silicon nanowire transistors. DAC 2012: 42-47
• 
  Wayne P. Burleson, Shane S. Clark, Benjamin Ransford, Kevin Fu:
  Design challenges for secure implantable medical devices. DAC 2012: 12-17
• 
  Simone Campanoni, Timothy M. Jones, Glenn H. Holloway, Gu-Yeon Wei, David M. Brooks:
  The HELIX project: overview and directions. DAC 2012: 277-282
• 
  Jerónimo Castrillón, Andreas Tretter, Rainer Leupers, Gerd Ascheid:
  Communication-aware mapping of KPN applications onto heterogeneous MPSoCs. DAC 2012: 1266-1271
• 
  G. Reza Chaji, Javid Jaffari:
  Generic low-cost characterization of V_th and mobility variations in LTPS TFTs for non-uniformity calibration of active-matrix OLED displays. DAC 2012: 182-187
• 
  Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik:
  Specification and synthesis of hardware checkpointing and rollback mechanisms. DAC 2012: 1226-1232
• 
  Kai-Hui Chang, Chris Browy:
  Improving gate-level simulation accuracy when unknowns exist. DAC 2012: 936-940
• 
  Leland Chang, Wilfried Haensch:
  Near-threshold operation for power-efficient computing?: it depends... DAC 2012: 1159-1163
• 
  Hua-Yu Chang, Iris Hui-Ru Jiang, Yao-Wen Chang:
  Timing ECO optimization using metal-configurable gate-array spare cells. DAC 2012: 802-807
• 
  Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco:
  Checking architectural outputs instruction-by-instruction on acceleration platforms. DAC 2012: 955-961
• 
  Weijia Che, Karam S. Chatha:
  Unrolling and retiming of stream applications onto embedded multicore processors. DAC 2012: 1272-1277
• 
  Fu-Wei Chen, TingTing Hwang:
  Clock tree synthesis with methodology of re-use in 3D IC. DAC 2012: 1094-1099
• 
  Chi-Hao Chen, Pi-Cheng Hsiu, Tei-Wei Kuo, Chia-Lin Yang, Cheng-Yuan Michael Wang:
  Age-based PCM wear leveling with nearly zero search cost. DAC 2012: 453-458
• 
  Xiang Chen, Jian Zheng, Yiran Chen, Mengying Zhao, Chun Jason Xue:
  Quality-retaining OLED dynamic voltage scaling for video streaming applications on mobile devices. DAC 2012: 1000-1005
• 
  Junchul Choi, Hyunok Oh, Sungchan Kim, Soonhoi Ha:
  Executing synchronous dataflow graphs on a SPM-based multicore architecture. DAC 2012: 664-671
• 
  Sheng Chou, Meng-Kai Hsu, Yao-Wen Chang:
  Structure-aware placement for datapath-intensive circuit designs. DAC 2012: 762-767

skipping 167 more matches