Abstract: Static dependence analysis is critical for optimizations such as vectorization and loop-invariant code motion. However, traditional static dependence analysis is often imprecise, making ...
Abstract: We propose a motion planner for quadrotor unmanned aerial vehicles (UAVs) implemented as a graph search over robust positive invariant (PI) sets. We model ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results