Brad D. Bingham

According to our database, Brad D. Bingham authored at least 7 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Response property checking via distributed state space exploration.

Brad D. Bingham, Mark R. Greenstreet

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Distributed Explicit State Model Checking of Deadlock Freedom.

Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Modeling Energy-Time Trade-Offs in VLSI Computation.

Brad D. Bingham, Mark R. Greenstreet

IEEE Trans. Computers, 2012

2011

Parameterized verification of deadlock freedom in symmetric cache coherence protocols.

Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2008

Energy Optimal Scheduling on Multiprocessors with Migration.

Brad D. Bingham, Mark R. Greenstreet

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds.

Brad D. Bingham, Mark R. Greenstreet

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

2007

Hybrid one-dimensional reversible cellular automata are regular.

Jesse D. Bingham, Brad D. Bingham

Discret. Appl. Math., 2007