University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 301–330 of 6,554 items
Thumbnail for Dynamic Tracking of Information Flow Signatures for Security Checking
Dynamic Tracking of Information Flow Signatures for Security Checking
Healey, William; Pattabiraman, Karthik; Ryoo, Shane; Iyer, Ravi; Hwu, Wen-Mei

Thumbnail for Face Recognition with Contiguous Occlusion Using Markov Random Fields
Face Recognition with Contiguous Occlusion Using Markov Random Fields
Zhou, Zihan; Wagner, Andrew; Wright, John; Mobahi, Hossein; Ma, Yi

Thumbnail for A Community-Based Social Media Approach for Preserving Endangered Languages and Culture
A Community-Based Social Media Approach for Preserving Endangered Languages and Culture
Arobba, Biagio; McGrath, Robert E.; Futrelle, Joe; Craig, Alan B.

Thumbnail for Ensuring Critical Data Integrity via Information Flow Signatures
Ensuring Critical Data Integrity via Information Flow Signatures
Healey, William; Pattabiraman, Karthik; Ryoo, Shane; Dabrowski, Paul; Kalbarczyk, Zbigniew; Iyer, Ravi; Hwu, Wen-Mei

Thumbnail for SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen; Dig, Danny; Bocchino, Robert L., Jr.; Overbey, Jeffrey; Adve, Vikram S.; Johnson, Ralph

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 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 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