-
Static analysis of numerical properties in the presence of pointers
The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on... -
A Weighted Average Flux (WAF) scheme applied to shallow water equations for r...
International audience
