University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4741–4770 of 13,009 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 Optimizing the Barnes-Hut Algorithm in UPC
Optimizing the Barnes-Hut Algorithm in UPC
Zhang, Junchao; Behzad, Babak; Snir, Marc