1 paper
Cheng Li, Jiexiong Liu, Shikun Wang +1
Nominal chip specifications do not capture the compute deliverable by heterogeneous distributed networks under communication, runtime and verification constraints. We formalize D-P…