2 search results - page 1 / 1 » Contradiction Analysis for Constraint-based Random Simulatio... |
FDL
2008
IEEE
13 years 11 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...
GLOBECOM
2008
IEEE
13 years 11 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...