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

• 1998
• 
  Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger:
  Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. DAC 1998: 538-541
• 
  Thomas W. Albrecht, Johann Notbauer, Stefan Rohringer:
  HW/SW CoVerification Performance Estimation and Benchmark for a 24 Embedded RISC Core Design. DAC 1998: 808-811
• 
  Charles J. Alpert, Anirudh Devgan, Stephen T. Quay:
  Buffer Insertion for Noise and Delay Optimization. DAC 1998: 362-367
• 
  Tod Amon, Gaetano Borriello, Jiwen Liu:
  Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares. DAC 1998: 586-590
• 
  Jason Helge Anderson, Stephen Dean Brown:
  Technology Mapping for Large Complex PLDs. DAC 1998: 698-703
• 
  Bogdan G. Arsintescu, Edoardo Charbon, Enrico Malavasi, Umakanta Choudhury, William H. Kao:
  General AC Constraint Transformation for Analog ICs. DAC 1998: 38-43
• 
  Adnan Aziz, James H. Kukula, Thomas R. Shiple:
  Hybrid Verification Using Saturated Simulation. DAC 1998: 615-618
• 
  Clark W. Barrett, David L. Dill, Jeremy R. Levitt:
  A Decision Procedure for Bit-Vector Arithmetic. DAC 1998: 522-527
• 
  Jerry Bauer, Michael Bershteyn, Ian Kaplan, Paul Vyedin:
  A Reconfigurable Logic Machine for Fast Event-Driven Simulation. DAC 1998: 668-671
• 
  Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
  Computational Kernels and their Application to Sequential Power Optimization. DAC 1998: 764-769
• 
  Randal E. Bryant, Gerry Musgrave:
  User Experience with High Level Formal Verification (Panel). DAC 1998: 327
• 
  Luigi Carro, Marcelo Negreiros:
  Efficient Analog Test Methodology Based on Adaptive Algorithms. DAC 1998: 32-37
• 
  Francis L. Chan, Mark D. Spiller, A. Richard Newton:
  WELD - An Environment for Web-based Electronic Design. DAC 1998: 146-151
• 
  Shih-Chieh Chang, David Ihsin Cheng:
  Efficient Boolean Division and Substitution. DAC 1998: 342-347
• 
  Rita Yu Chen, Robert Michael Owens, Mary Jane Irwin, Raminder Singh Bajwa:
  Validation of an Architectural Level Power Analysis Technique. DAC 1998: 242-245
• 
  Zhanping Chen, Kaushik Roy:
  A Power Macromodeling Technique Based on Power Sensitivity. DAC 1998: 678-683
• 
  Pai H. Chou, Gaetano Borriello:
  Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems. DAC 1998: 88-93
• 
  Mike Chou, Jacob White:
  Multilevel Integral Equation Methods for the Extraction of Substrate Coupling Parameters in Mixed-Signal IC's. DAC 1998: 20-25
• 
  Jason Cong, Patrick H. Madden:
  Performance Driven Multi-Layer General Area Routing for PCB/MCM Designs. DAC 1998: 356-361
• 
  Jason Cong, Chang Wu:
  Optimal FPGA Mapping and Retiming with Efficient Initial State Computation. DAC 1998: 330-335
• 
  Jason Cong, Songjie Xu:
  Delay-Optimal Technology Mapping for FPGAs with Heterogeneous LUTs. DAC 1998: 704-707
• 
  Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli:
  A Case Study in Embedded System Design: An Engine Control Unit. DAC 1998: 804-807
• 
  Julian Culetu, Chaim Amir, John MacDonald:
  A Practical Repeater Insertion Method in High Speed VLSI Circuits. DAC 1998: 392-395
• 
  Carlos Dangelo:
  Design Productivity: How To Measure It, How To Improve It (Panel). DAC 1998: 578-579
• 
  Florentin Dartu, Lawrence T. Pileggi:
  TETA: Transistor-Level Engine for Timing Analysis. DAC 1998: 595-598
• 
  Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta:
  Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems. DAC 1998: 263-268
• 
  Alper Demir, Amit Mehrotra, Jaijeet S. Roychowdhury:
  Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation. DAC 1998: 26-31
• 
  E. Aykut Dengi, Ronald A. Rohrer:
  Boundary Element Method Macromodels for 2-D Hierachical Capacitance Extraction. DAC 1998: 218-223
• 
  Erach Desai:
  The EDA Start-up Experience: The First Product (Panel). DAC 1998: 656-657
• 
  Abhijit Dharchoudhury, Rajendran Panda, David T. Blaauw, Ravi Vaidyanathan, Bogdan Tutuianu, David Bearden:
  Design and Analysis of Power Distribution Networks in PowerPC Microprocessors. DAC 1998: 738-743

skipping 127 more matches