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

• 1999
• 
  Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
  Symbolic synthesis of clock-gating logic for power optimization of synchronous controllers. ACM Trans. Design Autom. Electr. Syst. 4(4): 351-375 (1999)
• 
  Wei-Kai Cheng, Youn-Long Lin:
  Code generation of nested loops for DSP processors with heterogeneous registers and structural pipelining. ACM Trans. Design Autom. Electr. Syst. 4(3): 231-256 (1999)
• 
  Kyumyung Choi, Steven P. Levitan:
  A flexible datapath allocation method for architectural synthesis. ACM Trans. Design Autom. Electr. Syst. 4(4): 376-404 (1999)
• 
  Michael Gasteier, Manfred Glesner:
  Bus-based communication synthesis on system level. ACM Trans. Design Autom. Electr. Syst. 4(1): 1-11 (1999)
• 
  Inki Hong, Miodrag Potkonjak, Ramesh Karri:
  Power optimization using divide-and-conquer techniques for minimization of the number of operations. ACM Trans. Design Autom. Electr. Syst. 4(4): 405-429 (1999)
• 
  Christoph Kern, Mark R. Greenstreet:
  Formal verification in hardware design: a survey. ACM Trans. Design Autom. Electr. Syst. 4(2): 123-193 (1999)
• 
  Kuen-Jong Lee, Jing-Jou Tang, Tsung-Chu Huang:
  BIFEST: a built-in intermediate fault effect sensing and test generation system for CMOS bridging faults. ACM Trans. Design Autom. Electr. Syst. 4(2): 194-218 (1999)
• 
  Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe:
  Performance estimation of embedded software with instruction cache modeling. ACM Trans. Design Autom. Electr. Syst. 4(3): 257-279 (1999)
• 
  Stan Y. Liao, Srinivas Devadas, Kurt Keutzer:
  A text-compression-based method for code size minimization in embedded systems. ACM Trans. Design Autom. Electr. Syst. 4(1): 12-38 (1999)
• 
  Miodrag Potkonjak, Wayne H. Wolf:
  A methodology and algorithms for the design of hard real-time multitasking ASICs. ACM Trans. Design Autom. Electr. Syst. 4(4): 430-459 (1999)
• 
  Chuanjin Richard Shi, Michael W. Tian:
  Simulation and sensitivity of linear analog circuits under parameter variations by Robust interval analysis. ACM Trans. Design Autom. Electr. Syst. 4(3): 280-312 (1999)
• 
  Xiaoyu Song, Yuke Wang:
  On the crossing distribution problem. ACM Trans. Design Autom. Electr. Syst. 4(1): 39-51 (1999)
• 
  Mitchell A. Thornton, V. S. S. Nair:
  Behavioral synthesis of combinational logic using spectral-based heuristics. ACM Trans. Design Autom. Electr. Syst. 4(2): 219-230 (1999)
• 
  Jyh-Mou Tseng, Jing-Yang Jou:
  Two-level logic minimization for low power. ACM Trans. Design Autom. Electr. Syst. 4(1): 52-69 (1999)
• 
  Frank Vahid:
  Procedure cloning: a transformation for improved system-level functional partitioning. ACM Trans. Design Autom. Electr. Syst. 4(1): 70-96 (1999)
• 
  Qi Wang, Sarma B. K. Vrudhula, Gary K. H. Yeap, Shantanu Ganguly:
  Power reduction and power-delay trade-offs using logic transformations. ACM Trans. Design Autom. Electr. Syst. 4(1): 97-121 (1999)
• 
  Bernd Wurth, Ulf Schlichtmann, Klaus Eckl, Kurt Antreich:
  Functional multiple-output decomposition with application to technology mapping for lookup table-based FPGAs. ACM Trans. Design Autom. Electr. Syst. 4(3): 313-350 (1999)