Sciweavers

12753 search results - page 48 / 2551
» is 2002
Sort
View
77
Voted
DAC
2002
ACM
16 years 1 months ago
Efficient state representation for symbolic simulation
Valeria Bertacco, Kunle Olukotun
DAC
2002
ACM
16 years 1 months ago
Can BDDs compete with SAT solvers on bounded model checking?
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
88
Voted
DAC
2002
ACM
16 years 1 months ago
S-Tree: a technique for buffered routing tree synthesis
Milos Hrkic, John Lillis