Search the dblp DataBase

Publications of Author

1. Brannon Batson, T. N. Vijaykumar
   Reactive-Associative Caches. [Citation Graph (0, 0)][DBLP]
   IEEE PACT, 2001, pp:49-60 [Conf]
   
2. Serdar Tasiran, Yuan Yu, Brannon Batson
   Using a formal specification and a model checker to monitor and direct simulation. [Citation Graph (0, 0)][DBLP]
   DAC, 2003, pp:356-361 [Conf]
   
3. Brannon Batson, Leslie Lamport
   High-Level Specifications: Lessons from Industry. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:242-261 [Conf]
   
4. Serdar Tasiran, Yuan Yu, Brannon Batson
   Linking Simulation with Formal Verification at a Higher Level. [Citation Graph (0, 0)][DBLP]
   IEEE Design & Test of Computers, 2004, v:21, n:6, pp:472-482 [Journal]
   
5. David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, J. P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang
   Anton, a special-purpose machine for molecular dynamics simulation. [Citation Graph (0, 0)][DBLP]
   ISCA, 2007, pp:1-12 [Conf]
   
6. 
   Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation. [Citation Graph (, )][DBLP]
   
   
7. 
   Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. [Citation Graph (, )][DBLP]
   
   
8. 
   Millisecond-scale molecular dynamics simulations on Anton. [Citation Graph (, )][DBLP]
   
   
9. 
   Millisecond-scale molecular dynamics simulations on Anton. [Citation Graph (, )][DBLP]
   
   
10. 
    Anton, a special-purpose machine for molecular dynamics simulation. [Citation Graph (, )][DBLP]