University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 571–600 of 2,191 items
Thumbnail for The INHS IDOT Programs Annual Report 2011
The INHS IDOT Programs Annual Report 2011
Heske, Ed; Carney, Irenka; Warwick,Charles

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen; Dig, Danny; Bocchino, Robert L., Jr.; Overbey, Jeffrey; Adve, Vikram S.; Johnson, Ralph