Följ
Joshua Sobel
Joshua Sobel
PhD Student, University of Iowa
Verifierad e-postadress på uiowa.edu
Titel
Citeras av
Citeras av
År
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
72021
AWLCO: All-Window Length Co-Occurrence
J Sobel, N Bertram, C Ding, F Nargesian, D Gildea
arXiv preprint arXiv:2011.14460, 2020
32020
Exact Distributed Sampling
SV Pemmaraju, JZ Sobel
International Colloquium on Structural Information and Communication …, 2023
2023
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3