University of Illinois Urbana-Champaign

Items By Publication Date

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4021–4050 of 124,272 items
Thumbnail for Maximal Causal Models for Multithreaded Systems
Maximal Causal Models for Multithreaded Systems
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

Thumbnail for Towards Effectively Eliminating Conditional Rewrite Rules
Towards Effectively Eliminating Conditional Rewrite Rules
Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism
Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism
Ahmed, Amr M.E.; Patel, Abhilash; Brown, Tom; Ham, MyungJoo; Jang, Myeong-Wuk; Agha, Gul A.

Thumbnail for Moara: Flexible and Scalable Group-Based Querying System
Moara: Flexible and Scalable Group-Based Querying System
Ko, Steven Y.; Yalagandula, Praveen; Gupta, Indranil; Talwar, Vanish; Milojicic, Dejan; Iyer, Subu

Thumbnail for Decentralized Schemes for Size Estimation in Large and Dynamic Groups
Decentralized Schemes for Size Estimation in Large and Dynamic Groups
Kostoulas, Dionysios; Psaltoulis, Dimitrios; Gupta, Indranil; Briman, Ken; Demers, Al