Concepedia

D. Carnes

DC

Statistics

Publications

1

Citations

11

H-Index

1

Active since

2001

Affiliations

Mitre (United States)(Current)

D. Carnes is an author at Mitre (United States) specializing in formal methods, parallel programming, and formal verification.

Top concepts

Publications per year

2001–2001

1

Publications

1

Using quad trees for parallelizing conflict detection in a sequential simulation

F. Wireland, D. Carnes, Gary L. Schultz · Workshop on Parallel and Distributed Simulation · 2001 · 11 citations

, , +20

1–1 of 1