Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Exploiting Multiple Levels of Parallelism in Sparse Matrix-Matrix Multiplication
Azad, Ariful, Ballard, Grey, Aydin Buluc, Demmel, James, Grigori, Laura, Schwartz, Oded, Toledo, Sivan, Williams, Samuel
Published in arXiv.org (16.11.2016)
Published in arXiv.org (16.11.2016)
Get full text
Paper
Journal Article
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs
Kellison, Ariel E., Appel, Andrew W., Tekriwal, Mohit, Bindel, David
Published in Proceedings - Symposium on Computer Arithmetic (04.09.2023)
Published in Proceedings - Symposium on Computer Arithmetic (04.09.2023)
Get full text
Conference Proceeding
A Study of APIs for Graph Analytics Workloads
Lee, Hochan, Wong, David, Hoang, Loc, Dathathri, Roshan, Gill, Gurbinder, Jatala, Vishwesh, Kuck, David, Pingali, Keshav
Published in 2020 IEEE International Symposium on Workload Characterization (IISWC) (01.10.2020)
Published in 2020 IEEE International Symposium on Workload Characterization (IISWC) (01.10.2020)
Get full text
Conference Proceeding
Linear optimization on modern GPUs
Spampinato, Daniele G., Elster, Anne C.
Published in 2009 IEEE International Symposium on Parallel & Distributed Processing (01.05.2009)
Published in 2009 IEEE International Symposium on Parallel & Distributed Processing (01.05.2009)
Get full text
Conference Proceeding
Method with quasi-Newton Jacobian updates for nonlinear predictive control
Year of Publication 10.09.2019
Get full text
Patent
METHOD WITH QUASI-NEWTON JACOBIAN UPDATES FOR NONLINEAR PREDICTIVE CONTROL
Year of Publication 13.02.2018
Get full text
Patent