University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2941–2970 of 4,640 items
Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

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 Well-Centered Meshing
Well-Centered Meshing
Vanderzee, Evan B.

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