E-LIB Suche - Ergebnisse für: Bingham, Jesse

1

Verifiable hierarchical protocols with network invariants o..:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,

Matthews, Opeoluwa ; Bingham, Jesse ; Sorin, Daniel J. - p. 101-108 , 2016

Link: https://dl.acm.org/doi/1..

2

PVCoherence: Designing Flat Coherence Protocols for Scalabl..:

Zhang, Meng ; Bingham, Jesse D. ; Erickson, John.
IEEE Micro. 35 (2015) 3 - p. 84-91 , 2015

Link: https://doi.org/10.1109/..

3

Parameterized verification of deadlock freedom in symmetric..:

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

Bingham, Brad ; Greenstreet, Mark ; Bingham, Jesse - p. 186-195 , 2011

Link: https://dl.acm.org/doi/1..

4

Hybrid one-dimensional reversible cellular automata are reg..:

Bingham, Jesse ; Bingham, Brad
Discrete Applied Mathematics. 155 (2007) 18 - p. 2555-2566 , 2007

Link: https://doi.org/10.1016/..

5

Efficient SAT solving : beyond supercubes:

, In: Proceedings of the 42nd annual Design Automation Conference,

Babić, Domagoj ; Bingham, Jesse ; Hu, Alan J. - p. 744-749 , 2005

Link: https://dl.acm.org/doi/1..

6

A New Approach to Upward-Closed Set Backward Reachability A..:

Bingham, Jesse
Electronic Notes in Theoretical Computer Science. 138 (2005) 3 - p. 37-48 , 2005

Link: https://doi.org/10.1016/..

7

Toward a decidable notion of sequential consistency:

, In: Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures,

Bingham, Jesse D. ; Condon, Anne ; Hu, Alan J. - p. 304-313 , 2003

Link: https://dl.acm.org/doi/1..

8

Digit Serial Methods with Applications to Division and Squa..:

Ferguson Jr, Warren E ; Bingham, Jesse ; Erkök, Levent..
http://arxiv.org/abs/1708.00140. , 2017

Link: http://arxiv.org/abs/170..

9

Formalizing a Proof that e is Transcendental:

Jesse Bingham
http://jfr.cib.unibo.it/article/view/2269/1749. , 2011

Link: https://doaj.org/article..

10

Pathways to global coordination in space weather: Internati..:

Ishii, Mamoru ; Eduardo Rezende Costa, Joaquim ; Kuznetsova, Maria M....
Advances in Space Research. , 2024

Link: https://doi.org/10.1016/..

11

Potentially negative ecological consequences of animal redi..:

Gilby, Ben L. ; Henderson, Christopher J. ; Olds, Andrew D....
Biological Conservation. 253 (2021) - p. 108926 , 2021

Link: https://doi.org/10.1016/..

12

Imbalance of purine nucleotides in alanosine-resistant baby..:

Pang, Jesse C. S. ; Du, Run Pun ; Bingham, Hermine..
Somatic Cell and Molecular Genetics. 15 (1989) 2 - p. 101-111 , 1989

Link: https://doi.org/10.1007/..

13

Conferring the right to vote upon Porto Rican women. Januar..

United States congressional serial set ; serial set no. 8977;Senate report / 70th Congress, 2nd session. Senate ; no. 1454

Bayard, Thomas Francis ; Bingham, Hiram ; Hayden, Carl Trumbull... , 1929

Link: http://docs.newsbank.com..

14

A Comparison of Flare Forecasting Methods. IV. Evaluating C..:

Park, Sung-Hong ; Leka, K. D ; Kusano, Kanya...
http://arxiv.org/abs/2001.02808. , 2020

Link: http://arxiv.org/abs/200..

15

A Comparison of Flare Forecasting Methods. III. Systematic ..:

Leka, K. D ; Park, Sung-Hong ; Kusano, Kanya...
http://arxiv.org/abs/1907.02909. , 2019

Link: http://arxiv.org/abs/190..