5 citations · 5 across the 4 of their papers we have counts for
4 papers
A unified construction of all-speed HLL-type schemes for hypersonic heating computations
Wenjia Xie, Zhengyu Tian, Ye Zhang +1
In this paper, a unified framework to develop all-speed HLL-type schemes for hypersonic heating computations is constructed. Such a unified construction method combines two effecti…
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations
Camille Coti, David Monniaux, Hang Yu
Parametric linear programming is a central operation for polyhedral computations, as well as in certain control applications.Here we propose a task-based scheme for parallelizing i…
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
Hang Yu, David Monniaux
Polyhedral projection is a main operation of the polyhedron abstract domain.It can be computed via parametric linear programming (PLP), which is more efficient than the classic Fou…
Parallel parametric linear programming solving, and application to polyhedral computations
Camille Coti, David Monniaux, Hang Yu
Parametric linear programming is central in polyhedral computations and in certain control applications.We propose a task-based scheme for parallelizing it, with quasi-linear speed…