University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3871–3900 of 17,037 items
Thumbnail for Compiler-Assisted Multiple Instruction Retry
Compiler-Assisted Multiple Instruction Retry
Li, Chung-Chi Jim; Chen, Shyh-Kwei; Fuchs, W. Kent; Hwu, Wen-Mei W.

Thumbnail for Parameter Estimation in Complex Linear Structures
Parameter Estimation in Complex Linear Structures
Hjelmstad, K.D.; Wood, S.L.; Clark, S.J.

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 Design of Living Barriers to Reduce the Impacts of Snowdrifts on Illinois Freeways
Design of Living Barriers to Reduce the Impacts of Snowdrifts on Illinois Freeways
Petrie, John; Qi, Yan; Cornwell, Mark; Al Adib Sarker, Md; Biswas, Pranesh; Du, Sen; Shi, Xianming