Damien Carver is an author at Université Grenoble Alpes specializing in parallel programming, formal verification, and parallel computing.
Top concepts
EngineeringFormal MethodsComputer ScienceParallel ComputingFormal VerificationOperations ResearchSystems EngineeringComputer EngineeringParallel ProgrammingComputer Architecture
Publications per year
2020–2020
1
1
Provable multicore schedulers with Ipanema
Baptiste Lepers, Redha Gouicem, Damien Carver et al. · 2020 · 16 citations · Full text
Rows per page
1–1 of 1