Travelled to:3 × USA
Collaborated with:D.E.Shaw M.M.Deneroff J.P.Grossman C.Young M.Theobald J.Kuskin R.H.Larson R.C.Ho J.Gagliardo B.Batson J.K.Salmon Y.Shan J.L.Klepeis J.A.Bank D.J.Ierardi U.B.Schafer B.Towles
Talks about:anton (3) molecular (2) special (2) machin (2) simul (2) point (2) dynam (2) throughput (1) interact (1) incorpor (1)
Person: Ron O. Dror
DBLP: Dror:Ron_O=
Contributed to:
2013
2008
2008Wrote 4 papers:
- ASPLOS-2013-GrossmanKBTDILSTYS #fine-grained #hardware
- Hardware support for fine-grained event-driven computation in Anton 2 (JPG, JK, JAB, MT, ROD, DJI, RHL, UBS, BT, CY, DES), pp. 549–560.
- 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.