1 paper · 1 filter
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…