University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–22 of 22 items
Thumbnail for Request-Based Mediated Execution
Request-Based Mediated Execution
Sundresh, Sameer

Thumbnail for Request-Based Mediated Execution
Request-Based Mediated Execution
Sundresh, Sameer

Thumbnail for Localization of Sparse Sensor Networks Using Layout Information
Localization of Sparse Sensor Networks Using Layout Information
Sundresh, Sameer; Kwon, YoungMin; Mechitov, Kirill; Kim, Wooyoung; Agha, Gul A.

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks
ActorNet: An Actor Platform for Wireless Sensor Networks
Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Resilient Localization for Sensor Networks in Outdoor Environments
Resilient Localization for Sensor Networks in Outdoor Environments
Kwon, YoungMin; Mechitov, Kirill; Sundresh, Sameer; Kim, Wooyoung; Agha, Gul A.

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for CUTE: A Concolic Unit Testing Engine for C
CUTE: A Concolic Unit Testing Engine for C
Sen, Koushik; Marinov, Darko; Agha, Gul A.

Thumbnail for A service-oriented architecture for dynamic macroprogramming of sensor networks
A service-oriented architecture for dynamic macroprogramming of sensor networks
Mechitov, Kirill A.

Thumbnail for Efficient execution of fine-grained actors on multicore processors
Efficient execution of fine-grained actors on multicore processors
Kumar, Rajesh

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Chang, Po-Hao

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects
An Equational Logic and a Coordination Language for Distributed Objects
Ziaei, Mahmood Reza

Thumbnail for Design of Availability-Dependent Distributed Services in Large-Scale Uncooperative Settings
Design of Availability-Dependent Distributed Services in Large-Scale Uncooperative Settings
Morales, Ramses Victor

Thumbnail for Design of Availability-dependent Distributed Services in Large-Scale Uncooperative Settings
Design of Availability-dependent Distributed Services in Large-Scale Uncooperative Settings
Morales, Ramses V.

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

Thumbnail for Towards energy-performance trade-off analysis of parallel applications
Towards energy-performance trade-off analysis of parallel applications
Korthikanti, Vijay Anand

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects
An Equational Logic and a Coordination Language for Distributed Objects
Ziaei, Mahmood Reza

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

Thumbnail for Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Ham, MyungJoo

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Chang, Po-Hao

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay