Brannon Batson

According to our database1, Brannon Batson authored at least 12 papers between 2001 and 2014.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014

2011
Overcoming Communication Latency Barriers in Massively Parallel Scientific Computation.
IEEE Micro, 2011

2010
Exploiting 162-Nanosecond End-to-End Communication Latency on Anton.
Proceedings of the Conference on High Performance Computing Networking, 2010

2009


2008
Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.
Proceedings of the 26th International Conference on Computer Design, 2008

Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation.
Proceedings of the 14th International Conference on High-Performance Computer Architecture (HPCA-14 2008), 2008

2007

2004
Linking Simulation with Formal Verification at a Higher Level.
IEEE Design & Test of Computers, 2004

2003
Using a formal specification and a model checker to monitor and direct simulation.
Proceedings of the 40th Design Automation Conference, 2003

2002
High-Level Specifications: Lessons from Industry.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Reactive-Associative Caches.
Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 2001


  Loading...