University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 30 items
Thumbnail for Thread Contracts for Race-Freedom
Thread Contracts for Race-Freedom
Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for Reducing the costs of bounded-exhaustive testing
Reducing the costs of bounded-exhaustive testing
Bangalore Jagannath, Vilas Shekhar