Login / Signup
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.
Shenghao Yuan
Frédéric Besson
Jean-Pierre Talpin
Samuel Hym
Koen Zandberg
Emmanuel Baccelli
Published in:
CAV (2) (2022)
Keyphrases
</>
end to end
virtual machine
operating system
distributed computing
wireless ad hoc networks
ad hoc networks
computing resources
virtual memory
data center
low latency
congestion control
admission control
multipath
multi tasking
database
high bandwidth
computer systems
reinforcement learning
real world
application layer
scalable video
information systems
real time