University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6601–6630 of 8,745 items
Thumbnail for Technical Report: Region and Effect Inference for Safe Parallelism
Technical Report: Region and Effect Inference for Safe Parallelism
Tzannes, Alexandros; Han, Michael; Adve, Vikram S.; Vakilian, Mohsen; Eloussi, Lamyaa; Heumann, Stephen T.

Thumbnail for Verification of Annotated Models from Executions
Verification of Annotated Models from Executions
Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

Thumbnail for iConference 2010 Proceedings
iConference 2010 Proceedings
Submitter: Heekyung Choi