End-to-end verification of stack-space bounds for C programs.

Quentin Carbonneaux Jan Hoffmann Tahina Ramananandro Zhong Shao

Published in: PLDI (2014)

Keyphrases

end to end
wireless ad hoc networks
high bandwidth
ad hoc networks
congestion control
admission control
application layer
multimedia
content delivery
multipath
scalable video
transport layer
service delivery
rate allocation
data streams
real time
cross layer