The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brannon Batson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002