Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using computational game theory to guide verification and security in hardware designs.

A. Smith, J. Mayo, V. Kammler, R. Armstrong, and Y. Vorobeychik. HOST, page 110-115. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bruce Mayo

Ursula Mayo

Moisés Mayordomo

Guy André Mayor

Mayo Röttger

Other publications of authors with the same name

Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models.N. Gupta, J. Mayo, A. Lemoine, and H. Kaiser. FTXS@SC, page 11-20. IEEE, (2020)Framework for Enabling System Understanding.J. Brandt, F. Chen, A. Gentile, C. Leangsuksun, J. Mayo, P. Pébay, D. Roe, N. Taerat, D. Thompson, and M. Wong. Euro-Par Workshops (2), volume 7156 of Lecture Notes in Computer Science, page 231-240. Springer, (2011)Implementing Software Resiliency in HPX for Extreme Scale Computing.N. Gupta, J. Mayo, A. Lemoine, and H. Kaiser. CoRR, (2020)Digital system robustness via design constraints: The lesson of formal methods.J. Mayo, R. Armstrong, and G. Hulette. SysCon, page 109-114. IEEE, (2015)Characterizing short-term stability for Boolean networks over any distribution of transfer functions.C. Seshadhri, A. Smith, Y. Vorobeychik, J. Mayo, and R. Armstrong. CoRR, (2014)Using computational game theory to guide verification and security in hardware designs.A. Smith, J. Mayo, V. Kammler, R. Armstrong, and Y. Vorobeychik. HOST, page 110-115. IEEE Computer Society, (2017)Shifted Power Method for Computing Tensor Eigenpairs.T. Kolda, and J. Mayo. SIAM J. Matrix Anal. Appl., 32 (4): 1095-1124 (2011)Physics-Based Checksums for Silent-Error Detection in PDE Solvers.M. Salloum, J. Mayo, and R. Armstrong. Euro-Par Workshops, volume 11997 of Lecture Notes in Computer Science, page 681-693. Springer, (2019)Combining Virtualization, resource characterization, and Resource management to enable efficient high performance compute platforms through intelligent dynamic resource allocation.J. Brandt, F. Chen, V. Sapio, A. Gentile, J. Mayo, P. Pébay, D. Roe, D. Thompson, and M. Wong. IPDPS Workshops, page 1-8. IEEE, (2010)Resource monitoring and management with OVIS to enable HPC in cloud computing environments.J. Brandt, A. Gentile, J. Mayo, P. Pébay, D. Roe, D. Thompson, and M. Wong. IPDPS, page 1-8. IEEE, (2009)

BibSonomy

Disambiguation of "Mayo, Jackson R."

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using computational game theory to guide verification and security in hardware designs.

Please choose a person to relate this publication to

Bruce Mayo

Ursula Mayo

Moisés Mayordomo

Guy André Mayor

Mayo Röttger

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Mayo, Jackson R."

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Using computational game theory to guide verification and security in hardware designs.

Please choose a person to relate this publication to

Bruce Mayo

Ursula Mayo

Moisés Mayordomo

Guy André Mayor

Mayo Röttger

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using computational game theory to guide verification and security in hardware designs.