University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 221 items
Thumbnail for Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores
Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores
Rahman, Muntasir Raihan; Tseng, Lewis; Nguyen, Son; Gupta, Indranil; Vaidya, Nitin H.

Thumbnail for A New Distributed Transaction Protocol and Its Formal Analysis in Maude
A New Distributed Transaction Protocol and Its Formal Analysis in Maude
Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José

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 AdapCode: Adaptive Network Coding for Code Updates in Wireless Sensor Networks
AdapCode: Adaptive Network Coding for Code Updates in Wireless Sensor Networks
Hou, I-Hong; Tsai, Yu-En; Abdelzaher, Tarek F.; Gupta, Indranil

Thumbnail for Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters
Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters
Gupta, Indranil; Cho, Brian; Rahman, Muntasir Raihan; Chajed, Tej; Abad, Cristina L.; Roberts, Nathan; Lin, Philbert

Thumbnail for Mobile Learning Communities - Are We There Yet?
Mobile Learning Communities - Are We There Yet?
Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Karahalios, Karrie G.; Kravets, Robin; Kamin, Sam; Sanders, William H.

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

Thumbnail for 4CeeD: Real-Time Data Acquisition and Analysis Framework for Material-related Cyber-Physical Environments
4CeeD: Real-Time Data Acquisition and Analysis Framework for Material-related Cyber-Physical Environments
Nguyen, Phuong; Konstanty, Steven; Nicholson, Todd; O'brien, Thomas; Schwartz-Duval, Aaron Star; Spila, Timothy; Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Chan, Michael; McHenry, Kenton; Paquin, Normand

Thumbnail for SocialTrove: A Self-summarizing Storage Service for Social Sensing
SocialTrove: A Self-summarizing Storage Service for Social Sensing
Amin, Md Tanvir Al; Li, Shen; Rahman, Muntasir Raihan; Seetharamu, Panindra Tumkur; Wang, Shiguang; Abdelzaher, Tarek F.; Gupta, Indranil; Srivatsa, Mudhakar; Ganti, Raghu K.; Ahmed, Reaz; Le, Hieu

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