University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1831–1860 of 3,799 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for XSEDE 2011 third quarter report
XSEDE 2011 third quarter report
XSEDE Senior Managaement Team

Thumbnail for An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing
An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing
Verma, Shiv; Leslie, Luke M.; Shin, Yosub; Gupta, Indranil