Travelled to:2 × USA
Collaborated with:R.O.Dror D.E.Shaw C.Young J.P.Grossman R.C.Ho M.Theobald J.Gagliardo J.Kuskin B.Batson R.H.Larson J.K.Salmon Y.Shan J.L.Klepeis
Talks about:molecular (2) special (2) machin (2) simul (2) point (2) dynam (2) anton (2) throughput (1) interact (1) incorpor (1)
Person: Martin M. Deneroff
DBLP: Deneroff:Martin_M=
Contributed to:
2008
2008Wrote 3 papers:
- DAC-2008-HoTDDGS #identification #logic #verification
- Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.
- HPCA-2008-KuskinYGBDDS #flexibility #simulation
- Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation (JK, CY, JPG, BB, MMD, ROD, DES), pp. 343–354.
- HPCA-2008-LarsonSDDYGSKS #interactive #simulation
- High-throughput pairwise point interactions in Anton, a specialized machine for molecular dynamics simulation (RHL, JKS, ROD, MMD, CY, JPG, YS, JLK, DES), pp. 331–342.