Brad D. Bingham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FMCAD | Response property checking via distributed state space exploration. | Brad D. Bingham, Mark R. Greenstreet |
| 2013 | CAV | Distributed Explicit State Model Checking of Deadlock Freedom. | Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet |
| 2011 | FMCAD | Parameterized verification of deadlock freedom in symmetric cache coherence protocols. | Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham |
| 2008 | ISPA | Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds. | Brad D. Bingham, Mark R. Greenstreet |
| 2008 | ISPA | Energy Optimal Scheduling on Multiprocessors with Migration. | Brad D. Bingham, Mark R. Greenstreet |