Static program analysis is a cornerstone in verifying, optimising, and debugging modern software systems. By evaluating code without executing it, these techniques enable early detection of ...

In recent years, the Massively Parallel Computation (MPC) model has gained significant attention. However, most distributed and parallel graph algorithms in the MPC model are designed for static ...

Xin-wei Liu, Ya-xiang Yuan, A ROBUST TRUST REGION ALGORITHM FOR SOLVING GENERAL NONLINEAR PROGRAMMING, Journal of Computational Mathematics, Vol. 19, No. 3 (May 2001), pp. 309-322 Free online reading ...