Sign in
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.
Shenghao Yuan
Benjamin Lion
Frédéric Besson
Jean-Pierre Talpin
Published in:
SETTA (2023)
Keyphrases
</>
virtual machine
operating system
data center
optimization algorithm
distributed computing
java card
computing resources
windows xp
cloud computing environment
low latency
multiresolution
virtual memory
theorem proving
hardware and software
smart card
optimization problems
testing process
databases
data sets