output
20072026
most citedThe pitfalls of verifying floating-point computations

211 citations

researchers with a paper here
collaborating institutions
Showing 2019 · cs.DCShow all

1 paper · 2 filters

cs.DC2019

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…