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