Travelled to:2 × USA
Collaborated with:S.Tasiran Y.Yu J.Kuskin C.Young J.P.Grossman M.M.Deneroff R.O.Dror D.E.Shaw
Talks about:simul (2) molecular (1) incorpor (1) special (1) monitor (1) flexibl (1) checker (1) specif (1) machin (1) formal (1)
Person: Brannon Batson
DBLP: Batson:Brannon
Contributed to:
2008
2003Wrote 2 papers:
- 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.
- DAC-2003-TasiranYB #model checking #monitoring #simulation #specification #using
- Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.