Guodong Li, Ph.D. - Publications
Affiliations: | 2010 | School of Computing | University of Utah, Salt Lake City, UT |
Area:
Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2011 | Li G, Palmer R, Delisi M, Gopalakrishnan G, Kirby RM. Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API Science of Computer Programming. 76: 65-81. DOI: 10.1016/J.Scico.2010.03.007 | 0.448 | |||
Show low-probability matches. |