3922 search results - page 662 / 785 » The IA-64 Architecture at Work |
156
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
174
click to vote
MOBICOM
2004
ACM
15 years 12 months ago
2004
ACM
Topology control algorithms usually reduce the number of links in a wireless network, which in turn decreases the degree of connectivity. The resulting network topology is more su...
206
click to vote
MOBICOM
2004
ACM
15 years 12 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the e...
214
click to vote
MOBIHOC
2004
ACM
15 years 12 months ago
2004
ACM
Mobile Ad Hoc Networks (MANETs) provide rapidly deployable and self-configuring network capacity required in many critical applications, e.g., battlefields, disaster relief and ...
171
click to vote
MSWIM
2004
ACM
15 years 12 months ago
2004
ACM
Recent trends in sensor network simulation can be divided between less flexible but accurate emulation based approach and more generic but less detailed network simulator models....