Abstract: We demonstrate MITra, a system for synthesizing Multi-Instance graph Traversal algorithms that traverse from multiple source vertices simultaneously over a single thread. Underlying MITra is ...
Abstract: This paper presents a constructive algorithm for the effective evaluation of the piecewise affine (PWA) control laws generated in explicit model predictive control (MPC). One of the main ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results