University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 331–360 of 6,578 items
Thumbnail for The Performance Potential of Trace-based Dynamic Optimization
The Performance Potential of Trace-based Dynamic Optimization
Fahs, Brian; Mahesri, Aqeel; Spadini, Francesco; Patel, Sanjay J.; Lumetta, Steven S.

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 Supporting Biological Information Work: Research and Education for Digital Resources and Long-lived Data
Supporting Biological Information Work: Research and Education for Digital Resources and Long-lived Data
Palmer, Carole L.; Cragin, Melissa H.; Heidorn, P. Bryan; Wright, Daniel T.

Thumbnail for Model-checking Parameterized Concurrent Programs using Linear Interfaces
Model-checking Parameterized Concurrent Programs using Linear Interfaces
Madhusudan, P. Parthasarathy; La Torre, Salvatore; Parlato, Gennaro

Thumbnail for Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems
Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems
Ghosh, Mainak; Wang, Wenting; Holla Vakwadi, Gopalakrishna; Gupta, Indranil

Thumbnail for Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation
Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation
Stone, Sam S.; Woley, Kevin M.; Malik, Kshitiz; Agarwal, Mayank; Dhar, Vikram; Frank, Matthew I.

Thumbnail for Collaborative project gemini XRD: Powder x-ray diffraction in undergraduate chemistry courses
Collaborative project gemini XRD: Powder x-ray diffraction in undergraduate chemistry courses
Dungey, Keenan E.; Trammell, Gary L.; Bapat, Harshavardhan D.; Gade, Wayne

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen