Concepedia

Author

Damien Carver

Université Grenoble Alpes

Also Known As

Carver, Damien, Damien Carver

7

Publications

28

Citations

3

H-Index

10

Concepts

All Affiliations

Université Grenoble Alpes
DC

About

Damien Carver is an author at Université Grenoble Alpes specializing in parallel programming, formal verification, and parallel computing.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Engineering

1

1

16

3

Computer Science

1

1

16

4

Operations Research

1

1

16

5

Systems Engineering

1

1

16

Damien Carver

×

1

Publications

16

Citations

1

H-Index

YearCitations

Provable multicore schedulers with Ipanema

Baptiste Lepers, Redha Gouicem, Damien Carver,

2020

16

Page 1