Travelled to:1 × China
Collaborated with:J.G.Beu J.A.Poovey T.M.Conte
Talks about:hierarchi (1) heterogen (1) formal (1) verif (1) speed (1) coher (1) high (1)
Person: Eric R. Hein
DBLP: Hein:Eric_R=
Contributed to:
2013Wrote 1 papers:
- HPCA-2013-BeuPHC #performance #verification
- High-speed formal verification of heterogeneous coherence hierarchies (JGB, JAP, ERH, TMC), pp. 566–577.