University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9211–9240 of 13,279 items
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

Thumbnail for Refactoring for Immutability
Refactoring for Immutability
Kjolstad, Fredrik Berg; Dig, Danny; Acevedo, Gabriel; Snir, Marc

Thumbnail for Provisioning Quality Controlled Medium Access in UltraWideBand (UWB) WPANs
Provisioning Quality Controlled Medium Access in UltraWideBand (UWB) WPANs
Hu, Chunyu; Kim, Hwangnam; Hou, Jennifer C.; Chi, Dennis; Nandagopalan, Sai Shankar