308 search results - page 18 / 62 » Verification of object-oriented simulation designs |
80
Voted
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
DSN
2004
IEEE
2004
IEEE
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
15 years 1 months ago
Abstract-- Wireless sensor networks (WSNs) are large collections of resource limited nodes, densely deployed over a landscape. They gather and disseminate local data using multihop...
68
Voted
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...