University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 271–300 of 34,162 items
Thumbnail for Bulk Operation and Data Coloring for Multiprocessor Programmability
Bulk Operation and Data Coloring for Multiprocessor Programmability
Ceze, Luis H.

Thumbnail for A Utility-based Distributed Maximum Lifetime Routing Algorithm for Wireless Networks
A Utility-based Distributed Maximum Lifetime Routing Algorithm for Wireless Networks
Xue, Yuan; Cui, Yi; Nahrstedt, Klara

Thumbnail for A Self-Tuning Disk Striping System for Parallel Input/Output
A Self-Tuning Disk Striping System for Parallel Input/Output
Medina, Mario Ruben

Thumbnail for Multi-Stream Management for Supporting Multi-Party 3D Tele-Immersive Environments
Multi-Stream Management for Supporting Multi-Party 3D Tele-Immersive Environments
Yang, Zhenyu

Thumbnail for Motion on the Surface of a Layered Elastic Half Space Produced by a Buried Dislocation Pulse
Motion on the Surface of a Layered Elastic Half Space Produced by a Buried Dislocation Pulse
Seyyedian-Choobi, M.; Robinson, A.R.

Thumbnail for Protecting SIP Proxy Servers from Ringing-based Denial-of-Service Attacks
Protecting SIP Proxy Servers from Ringing-based Denial-of-Service Attacks
Conner, William G.; Nahrstedt, Klara

Thumbnail for An Interaction Framework for Managing Applications and Input in Multiple Display Environments
An Interaction Framework for Managing Applications and Input in Multiple Display Environments
Biehl, Jacob T.

Thumbnail for Contextual Indexing and Joining: Supporting Efficient, Scalable Entity Search
Contextual Indexing and Joining: Supporting Efficient, Scalable Entity Search
Cheng, Tao; Chang, Kevin Chen-Chuan

Thumbnail for Predicting Concurrency Errors at Runtime using Sliced Causality
Predicting Concurrency Errors at Runtime using Sliced Causality
Chen, Feng; Rosu, Grigore

Thumbnail for Artificial Intelligence and Human Error Prevention: A Computer Aided Decision Making Approach: Technical Report #3: An Intelligent System for Monitoring and Diagnosis in Cockpit Environment
Artificial Intelligence and Human Error Prevention: A Computer Aided Decision Making Approach: Technical Report #3: An Intelligent System for Monitoring and Diagnosis in Cockpit Environment
Chien, R.T.; Brew, W.; Chen, D.; Pan, Y.C.

Thumbnail for Folklore System: Providing Both Scale and Security through a Single Core Probabilistic Protocol
Folklore System: Providing Both Scale and Security through a Single Core Probabilistic Protocol
Morales, Ramses V.; Gupta, Indranil

Thumbnail for Distributed Optimal Contention Window Control for Elastic Traffic in Wireless LANs
Distributed Optimal Contention Window Control for Elastic Traffic in Wireless LANs
Yang, Yaling; Wang, Jun; Kravets, Robin

Thumbnail for Solving Nonlinear Constrained Optimization Problems Through Constraint Partitioning
Solving Nonlinear Constrained Optimization Problems Through Constraint Partitioning
Chen, Yixin

Thumbnail for A Software Architecture for User Environments in Ubiquitous Systems
A Software Architecture for User Environments in Ubiquitous Systems
Carvaldo, Dulcineia de Lourdes de Sena

Thumbnail for Access Control for Active Spaces
Access Control for Active Spaces
Sampemane, Geetanjali

Thumbnail for A Utility-based Distributed Maximum Lifetime Routing Algorithm for Wireless Networks
A Utility-based Distributed Maximum Lifetime Routing Algorithm for Wireless Networks
Xue, Yuan; Cui, Yi; Nahrstedt, Klara

Thumbnail for Large Scale Information Integration on the Web: Finding, Understanding and Querying Web Databases
Large Scale Information Integration on the Web: Finding, Understanding and Querying Web Databases
Zhang, Zhen

Thumbnail for Achieving Loss Discrimination with Congestion Avoidance in a Rate-based Protocol
Achieving Loss Discrimination with Congestion Avoidance in a Rate-based Protocol
Gaonkar, Shravan; Kravets, Robin; Magalhaes, Luiz

Thumbnail for Functional Subsumption in Feature Description Logic
Functional Subsumption in Feature Description Logic
Braz, Rodrigo de Salvo; Roth, Dan

Thumbnail for Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Sasse, Ralf; Meseguer, José

Thumbnail for A K Definition of Scheme
A K Definition of Scheme
Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for Towards Effectively Eliminating Conditional Rewrite Rules
Towards Effectively Eliminating Conditional Rewrite Rules
Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Spectral Regression for Dimensionality Reduction
Spectral Regression for Dimensionality Reduction
Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

Thumbnail for Dandelion: Mobility-assisted Reliable Message Propagation Protocol in MANETs
Dandelion: Mobility-assisted Reliable Message Propagation Protocol in MANETs
He, Wenbo; Huang, Ying; Nahrstedt, Klara; Lee, Whay C.

Thumbnail for PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Agha, Gul A.; Meseguer, José; Sen, Koushik

Thumbnail for Improving Connectivity of Wireless Ad-Hoc Networks
Improving Connectivity of Wireless Ad-Hoc Networks
Li, Ning; Hou, Jennifer C.

Thumbnail for Situation-Aware Security for Wireless Ad Hoc Networks
Situation-Aware Security for Wireless Ad Hoc Networks
Yi, Seung

Thumbnail for GREEN: A TCP Equation-Based Approach to Active Queue Management
GREEN: A TCP Equation-Based Approach to Active Queue Management
Kapadia, Apu C.; Feng, Wu-chun

Thumbnail for VRing: A Ring-based Application-Layer Multicast Protocol
VRing: A Ring-based Application-Layer Multicast Protocol
Sobeih, Ahmed A.; Yurcik, William; Hou, Jennifer C.