default search action

combined dblp search
author search
venue search
publication search

ask others

Brad D. Bingham

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BinghamG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BinghamG12
Brad D. Bingham, Mark R. Greenstreet:
Modeling Energy-Time Trade-Offs in VLSI Computation. IEEE Trans. Computers 61(4): 530-547 (2012)
2007
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/BinghamB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/BinghamB07
Jesse D. Bingham, Brad D. Bingham:
Hybrid one-dimensional reversible cellular automata are regular. Discret. Appl. Math. 155(18): 2555-2566 (2007)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BinghamG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BinghamG14
Brad D. Bingham, Mark R. Greenstreet:
Response property checking via distributed state space exploration. FMCAD 2014: 15-22
2013
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BinghamBEG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BinghamBEG13
Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet:
Distributed Explicit State Model Checking of Deadlock Freedom. CAV 2013: 235-241
2011
[c3]
- view
- export record
  dblp key:
  - conf/fmcad/BinghamGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BinghamGB11
Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham:
Parameterized verification of deadlock freedom in symmetric cache coherence protocols. FMCAD 2011: 186-195
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/BinghamG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/BinghamG08
Brad D. Bingham, Mark R. Greenstreet:
Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds. ISPA 2008: 143-152
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/BinghamG08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/BinghamG08a
Brad D. Bingham, Mark R. Greenstreet:
Energy Optimal Scheduling on Multiprocessors with Migration. ISPA 2008: 153-161

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.