University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 5071–5100 of 13,279 items
Thumbnail for access: v.15, no.02, Summer 2002
access: v.15, no.02, Summer 2002
National Center for Supercomputing Applications (NCSA)

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