End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.
Shenghao YuanFrédéric BessonJean-Pierre TalpinPublished in: CAV (1) (2024)
Keyphrases
- end to end
- virtual machine
- java virtual machine
- operating system
- data center
- distributed computing
- computing resources
- management system
- cloud computing
- wireless ad hoc networks
- ad hoc networks
- low latency
- admission control
- multi tasking
- virtual memory
- congestion control
- location information
- internet protocol
- cost effective
- real time
- text localization and recognition
- transport layer
- data sources