Dynamic Verification of End-to-End Multiprocessor Invariants.

Daniel J. Sorin Mark D. Hill David A. Wood

Published in: DSN (2003)

Keyphrases

end to end
admission control
ad hoc networks
multipath
high bandwidth
congestion control
wireless ad hoc networks
internet protocol
response time
low complexity
transport layer