Semiconductor Engineering

Data-Centric ML Compiler For PIM (U. of Toronto, Barcelona Supercomputing Center, ETH Zurich, Max Planck)

A new technical paper titled “A Tensor Compiler for Processing-In-Memory Architectures” was published by researchers at ...
Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
IEEE

Multidisciplinary Optimization Design of Electric Vehicle X-by-Wire Chassis Integrating Parameter Coupling and Uncertainties

Abstract: X-by-wire chassis plays an important role in intelligent vehicle motion control. However, the traditional deterministic optimization method is difficult to achieve the global optimal and ...
IEEE

A Looped Operation Optimization Framework for an Electric-Hydrogen Coupled System Using Joint Model-Based and Model-Free Approaches

Abstract: Recently, electric–hydrogen coupled systems (EHCS) have gained wide attention. However, the spatiotemporal nonlinear constraints arising from the coupling and interaction of electricity and ...