3 papers
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…
cs.DC2016
Parametric, Probabilistic, Timed Resource Discovery System
Camille Coti
This paper presents a fully distributed resource discovery and reservation system. Verification of such a system is important to ensure the execution of distributed applications on…
cs.DC2014
POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems
Camille Coti
In this paper we present the design and implementation of POSH, an Open-Source implementation of the OpenSHMEM standard. We present a model for its communications, and prove some p…