Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...
Abstract: This paper proposes a nonlinear magnetics model for Permanent Magnet Synchronous Machines that accurately captures the effects of magnetic saturation in the machine iron and variations in ...