University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–24 of 24 items
Thumbnail for New Algorithms for Sequential Diagnosis
New Algorithms for Sequential Diagnosis
Khanna, Sanjeev

Thumbnail for Assuring network service with bandwidth and integrity based fairness
Assuring network service with bandwidth and integrity based fairness
Khan, Fariba

Thumbnail for Online Scheduling on Identical Machines Using SRPT
Online Scheduling on Identical Machines Using SRPT
Fox, Kyle J.

Thumbnail for Assuring robustness of radio spectrum telemetry against vandalism and exploitation
Assuring robustness of radio spectrum telemetry against vandalism and exploitation
Fatemieh, Seyed Omid

Thumbnail for Preventing History Forgery with Secure Provenance
Preventing History Forgery with Secure Provenance
Hasan, Ragib; Sion, Radu; Winslett, Marianne

Thumbnail for Reducing Space Overhead for Independent Checkpointing
Reducing Space Overhead for Independent Checkpointing
Wang, Yi-Min; Chung, Pi-Yu; Lin, In-Jen; Fuchs, W. Kent

Thumbnail for Improving the security in interconnecting building automation systems to outside networks
Improving the security in interconnecting building automation systems to outside networks
Jung, Hee Dong

Thumbnail for Approximation Algorithms for Network Design and Orienteering
Approximation Algorithms for Network Design and Orienteering
Korula, Nitish J.

Thumbnail for On approximability and LP formulations for multicut and feedback set problems
On approximability and LP formulations for multicut and feedback set problems
Madan, Vivek

Thumbnail for Topological modeling with simplicial complexes
Topological modeling with simplicial complexes
Shah, Nimish Rameshbhai

Thumbnail for Composing protocols with randomized actions
Composing protocols with randomized actions
Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan

Thumbnail for Online scheduling algorithms for broadcasting and general cost functions
Online scheduling algorithms for broadcasting and general cost functions
Moseley, Benjamin

Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Trustworthy History and Provenance for Files and Databases
Trustworthy History and Provenance for Files and Databases
Hasan, Ragib

Thumbnail for Online scheduling algorithms for average flow time and its variants
Online scheduling algorithms for average flow time and its variants
Im, Sungjin

Thumbnail for Three essays in sustainable operations management with implications for the triple bottom line
Three essays in sustainable operations management with implications for the triple bottom line
Murali, Karthik

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis
Scalable Automated Methods for Dynamic Program Analysis
Sen, Koushik

Thumbnail for High-performance evolutionary computation for scalable spatial optimization
High-performance evolutionary computation for scalable spatial optimization
Liu, Yan

Thumbnail for On-Demand Relay Communication Infrastructure for Base Station Connectivity
On-Demand Relay Communication Infrastructure for Base Station Connectivity
Huang, Ying

Thumbnail for Hindi filmigit: On the history of commercial Indian popular music
Hindi filmigit: On the history of commercial Indian popular music
Arnold, Alison E.

Thumbnail for A Framework for Promotion Analysis in Multi-Dimensional Space
A Framework for Promotion Analysis in Multi-Dimensional Space
Wu, Tianyi

Thumbnail for A framework for promotion analysis in multi-dimensional space
A framework for promotion analysis in multi-dimensional space
Wu, Tianyi

Thumbnail for Formal patterns for medical device safety
Formal patterns for medical device safety
Sun, Mu

Thumbnail for Algorithms for structural learning with decompositions
Algorithms for structural learning with decompositions
Samdani, Rajhans