University of Illinois Urbana-Champaign

Items By Publication Date

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3931–3960 of 124,272 items
Thumbnail for A Structure-Driven Yield-Aware Web Form Crawler: Building a Database of Online Databases
A Structure-Driven Yield-Aware Web Form Crawler: Building a Database of Online Databases
He, Bin; Li, Chengkai; Killian, David; Patel, Mitesh; Tseng, Yuping; Chang, Kevin Chen-Chuan

Thumbnail for Opportunistic Joint Uplink/Downlink Scheduling for WLANs
Opportunistic Joint Uplink/Downlink Scheduling for WLANs
Yoo, Joon; Luo, Haiyun; Kim, Chong Kwon

Thumbnail for An Assumptions Management Framework for Systems Software
An Assumptions Management Framework for Systems Software
Tirumala, Ajay Sudarshan

Thumbnail for SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
Dhurjati, Dinakar

Thumbnail for Safety and Consistency in Policy-Based Authorization Systems (Extended Version)
Safety and Consistency in Policy-Based Authorization Systems (Extended Version)
Lee, Adam J.; Winslett, Marianne

Thumbnail for Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules
Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules
Shankar, Chetan S.

Thumbnail for Interplay of Spatial Reuse and SINR-determined Data Rates in CSMA/CA-based, Multi-hop, Multi-rate Wireless Networks
Interplay of Spatial Reuse and SINR-determined Data Rates in CSMA/CA-based, Multi-hop, Multi-rate Wireless Networks
Lin, Ting-Yu; Hou, Jennifer C.

Thumbnail for Best-k Queries on Database Systems
Best-k Queries on Database Systems
Tao, Tao; Zhai, ChengXiang

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

Thumbnail for PDA: Privacy-preserving Data Aggregation in Wireless Sensor Networks
PDA: Privacy-preserving Data Aggregation in Wireless Sensor Networks
He, Wenbo; Liu, Xue; Nguyen, Hoang; Nahrstedt, Klara; Abdelzaher, Tarek F.

Thumbnail for Role-Based Access Control in a Mobile Environment
Role-Based Access Control in a Mobile Environment
Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe

Thumbnail for A Rewriting Based Approach to OO Language Prototyping and Design
A Rewriting Based Approach to OO Language Prototyping and Design
Hills, Mark; Rosu, Grigore

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Farzan, Azadeh

Thumbnail for Parametric and Sliced Causality
Parametric and Sliced Causality
Chen, Feng; Rosu, Grigore

Thumbnail for UFO: A General-Purpose User-Mode Memory Protection Technique for Application Use
UFO: A General-Purpose User-Mode Memory Protection Technique for Application Use
Neelakantam, Naveen; Zilles, Craig

Thumbnail for Data Obfuscation for Privacy-Enhanced Collaborative Filtering
Data Obfuscation for Privacy-Enhanced Collaborative Filtering
Berkovsky, Shlomo; Eytani, Yaniv; Kuflik, Tsvi; Ricci, Francesco

Thumbnail for Modeling of Two-Phase Flows in Horizontal Tubes
Modeling of Two-Phase Flows in Horizontal Tubes
Vij, A.K.; Dunn, W.E.

Thumbnail for Dynamic Modeling with Implicit Surfaces and Polygonal Meshes
Dynamic Modeling with Implicit Surfaces and Polygonal Meshes
Ni, Xinlai

Thumbnail for Automatic Software Performance Optimization on Modern Architectures
Automatic Software Performance Optimization on Modern Architectures
Jiang, Changhao

Thumbnail for Lightweight Consistency Enforcement Schemes for Distributed Proofs with Hidden Subtrees (Extended Version)
Lightweight Consistency Enforcement Schemes for Distributed Proofs with Hidden Subtrees (Extended Version)
Lee, Adam J.; Minami, Kazuhiro; Winslett, Marianne

Thumbnail for The Case for Non-Preemptive Scheduling in Distributed Real-Time Systems
The Case for Non-Preemptive Scheduling in Distributed Real-Time Systems
Jayachandran, Praveen; Abdelzaher, Tarek F.

Thumbnail for Exploring a New World of Identity with Identity 2.0 based Solutions
Exploring a New World of Identity with Identity 2.0 based Solutions
Fagen, Wade; Karahalios, Karrie

Thumbnail for SRDA: An Efficient Algorithm for Large Scale Discriminant Analysis
SRDA: An Efficient Algorithm for Large Scale Discriminant Analysis
Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for Topology Control for Maintaining Network Connectivity and Maximizing Network Capacity Under the Physical Model
Topology Control for Maintaining Network Connectivity and Maximizing Network Capacity Under the Physical Model
Gao, Yan; Hou, Jennifer C.; Nguyen, Hoang

Thumbnail for Statistical Debugging and Automated Program Failure Triage
Statistical Debugging and Automated Program Failure Triage
Liu, Chao

Thumbnail for A Scalable Self-Diagnosing Content Distribution Service with Bounded Latency
A Scalable Self-Diagnosing Content Distribution Service with Bounded Latency
Huang, Chengdu

Thumbnail for Envirosuite: An Environmentally-Immersive Programming Framework for Wireless Sensor Networks
Envirosuite: An Environmentally-Immersive Programming Framework for Wireless Sensor Networks
Luo, Liqian

Thumbnail for Lifted First-Order Probabilistic Inference
Lifted First-Order Probabilistic Inference
Braz, Rodrigo de Salvo

Thumbnail for Bulk Operation and Data Coloring for Multiprocessor Programmability
Bulk Operation and Data Coloring for Multiprocessor Programmability
Ceze, Luis H.

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data
Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data
d'Amorim, Marcelo