Sciweavers

1648 search results - page 22 / 330
» On the generation of bicliques of a graph
Sort
View
67
Voted
ICCD
2004
IEEE
115views Hardware» more  ICCD 2004»
15 years 6 months ago
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
Kelvin Ng, Alan J. Hu, Jin Yang
ICCAD
2003
IEEE
122views Hardware» more  ICCAD 2003»
15 years 6 months ago
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs
Alan J. Hu, Jeremy Casas, Jin Yang
APPROX
2007
Springer
60views Algorithms» more  APPROX 2007»
15 years 3 months ago
A Sequential Algorithm for Generating Random Graphs
Mohsen Bayati, Jeong Han Kim, Amin Saberi