Brad D. Bingham

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Top Venues

IEEE Trans. Computers

Publications

Brad D. Bingham, Mark R. Greenstreet
Response property checking via distributed state space exploration. FMCAD (2014)
Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet
Distributed Explicit State Model Checking of Deadlock Freedom. CAV (2013)
Brad D. Bingham, Mark R. Greenstreet
Modeling Energy-Time Trade-Offs in VLSI Computation. IEEE Trans. Computers 61 (4) (2012)
Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham
Parameterized verification of deadlock freedom in symmetric cache coherence protocols. FMCAD (2011)
Brad D. Bingham, Mark R. Greenstreet
Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds. ISPA (2008)
Brad D. Bingham, Mark R. Greenstreet
Energy Optimal Scheduling on Multiprocessors with Migration. ISPA (2008)
Jesse D. Bingham, Brad D. Bingham
Hybrid one-dimensional reversible cellular automata are regular. Discret. Appl. Math. 155 (18) (2007)