Sciweavers

10539 search results - page 385 / 2108
» On L
Sort
View
DAC
1999
ACM
16 years 7 months ago
MAELSTROM: Efficient Simulation-Based Synthesis for Custom Analog Cells
Michael Krasnicki, Rodney Phelps, Rob A. Rutenbar,...
DAC
2000
ACM
16 years 7 months ago
Efficient methods for embedded system design space exploration
Harry Hsieh, Felice Balarin, Luciano Lavagno, Albe...
DAC
2004
ACM
16 years 7 months ago
AMUSE: a minimally-unsatisfiable subformula extractor
Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Ka...