2 search results - page 1 / 1 » Contradiction Analysis for Constraint-based Random Simulatio... |
137
Voted
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
169
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—In this paper, we investigate and analyze the expected per-node throughput in a wireless sensor network under a randomized sleep scheduling framework with a connectivity...