Sign in

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang PengKesha HietalaRunzhou TaoLiyi LiRobert RandMichael HicksXiaodi Wu
Published in: CoRR (2022)
Keyphrases
  • end to end
  • high bandwidth
  • multipath
  • wireless ad hoc networks
  • admission control
  • congestion control
  • ad hoc networks
  • scalable video
  • content delivery
  • packet loss rate
  • multi hop
  • application layer
  • internet protocol