University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 811–840 of 19,104 items
Thumbnail for Feasibility of Long-term Monitoring of Everyday Health Through Smartphones
Feasibility of Long-term Monitoring of Everyday Health Through Smartphones
Chen, Nicholas; Rabb, Maurice; Lee, Yun Young; Schatz, Bruce

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Expressing Pipeline Parallelism using TBB constructs
Expressing Pipeline Parallelism using TBB constructs
Reed, Eric; Chen, Nicholas; Johnson, Ralph E.

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 Micromachined inductors and capacitors.
Micromachined inductors and capacitors.
Zou, Jun; Chen, Jack; Liu, Chang