An End-to-end Formal Verifier for Parallel Programs.

Soumyadip Bandyopadhyay Santonu Sarkar Kunal Banerjee

Published in: ICSOFT (2017)

Keyphrases

end to end
multipath
wireless ad hoc networks
admission control
ad hoc networks
congestion control
high bandwidth
rate allocation
scalable video
web services
content delivery
application layer
transport layer
packet loss rate
text localization and recognition