University of Illinois at Urbana-Champaign

Academic Unit
Author(s)
Keyword(s)
Type of Resource
Showing 101–125 of 198 items
Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

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 Separation of distributed coordination and control for programming reliable robotics
Separation of distributed coordination and control for programming reliable robotics
Ghosh, Ritwika

Thumbnail for Decentralized identification and multimetric monitoring of civil infrastructure using smart sensors
Decentralized identification and multimetric monitoring of civil infrastructure using smart sensors
Sim, Sung-Han; Spencer, Billie F., Jr.

Thumbnail for Wireless Sensor Advances and Applications for Civil Infrastructure Monitoring
Wireless Sensor Advances and Applications for Civil Infrastructure Monitoring
Spencer, Billie F., Jr.; Yun, Chung-Bang

Thumbnail for Quarterware: A Middleware Toolkit of Software RISC Components
Quarterware: A Middleware Toolkit of Software RISC Components
Singhai, Ashish

Thumbnail for An adaptive placement framework for efficient near-data stream processing over data source-edge-cloud systems
An adaptive placement framework for efficient near-data stream processing over data source-edge-cloud systems
Sandur, Atul • 2022

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Sen, Koushik; Viswanathan, Mahesh

Thumbnail for Multi-scale Structural Health Monitoring using Wireless Smart Sensors
Multi-scale Structural Health Monitoring using Wireless Smart Sensors
Jo, Hongki; Spencer, Billie F., Jr.

Thumbnail for Local voices challenging global campaigns: Re-thinking childhood, agency, and girls’ education in northwest Pakistan
Local voices challenging global campaigns: Re-thinking childhood, agency, and girls’ education in northwest Pakistan
Rahman, Fauzia S.

Thumbnail for A graph grammar approach to concurrent programming
A graph grammar approach to concurrent programming
Goering, Steven Kent

Thumbnail for Open Problems and Challenges 2016
Open Problems and Challenges 2016
Rosu, Grigore

Thumbnail for Race, politics, and armies: The dynamics of military modernization in twentieth-century colonial India
Race, politics, and armies: The dynamics of military modernization in twentieth-century colonial India
Barua, Pradeep P.

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

Thumbnail for Optimization of object-oriented and concurrent programs
Optimization of object-oriented and concurrent programs
Plevyak, John Bradley

Thumbnail for From Models to Implementations - Distributed Algorithms using Maude
From Models to Implementations - Distributed Algorithms using Maude
Stephens, Sam C

Thumbnail for Structural Health Monitoring Using Smart Sensors
Structural Health Monitoring Using Smart Sensors
Nagayama, Tomonori

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems
Maximal Causal Models for Sequentially Consistent Systems
Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Rewriting Semantics of Production Rule Sets
Rewriting Semantics of Production Rule Sets
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for Structural Health Monitoring for Bridge Structures using Smart Sensors
Structural Health Monitoring for Bridge Structures using Smart Sensors
Jang, Shin Ae; Spencer, Billie F., Jr.

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 Regression test selection: theory and practice
Regression test selection: theory and practice
Gligoric, Milos Zivko

Thumbnail for Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System
Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System
Huang, Chao

Thumbnail for Flexible Smart Sensor Framework for Autonomous Full-scale Structural Health Monitoring
Flexible Smart Sensor Framework for Autonomous Full-scale Structural Health Monitoring
Rice, Jennifer A.; Spencer, Billie F., Jr.

Thumbnail for Monitoring, Modeling, and Hybrid Simulation An Integrated Bayesian-based Approach to High-fidelity Fragility Analysis
Monitoring, Modeling, and Hybrid Simulation An Integrated Bayesian-based Approach to High-fidelity Fragility Analysis
Li, Jian; Spencer, Billie F., Jr.