University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3091–3120 of 9,493 items
Thumbnail for Enforcing End-to-End Proportional Fairness with Bounded Buffer Overflow Probabilities
Enforcing End-to-End Proportional Fairness with Bounded Buffer Overflow Probabilities
Singh, Nikhil; Sreenivas, Ramavarapu S.; Shanbhag, Uday V.

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore