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 article presents an accurate multiobjective optimization strategy for surface-mounted permanent-magnet machines (SMPMMs) by combining a nonlinear finite-permeability subdomain model ...

Abstract: Theoretical machines like automata are critical to many computing operations because they provide a foundation for resolving difficult problems in various domains. Automata theory, in ...

President Trump said Thursday evening he is granting a pardon to Tina Peters, a former Colorado county clerk who is serving a nine-year state sentence for allowing unauthorized access to voting ...