cuPDLPx is a GPU-accelerated linear programming solver based on a restarted Halpern PDHG method specifically tailored for GPU architectures. It incorporates a Halpern update scheme, an adaptive ...
Abstract: In advanced optical lithography, it is critical to obtain a mask with high fidelity to a target pattern and strong tolerance to process variation within a short time. This article formulates ...
Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results