University of Illinois at Urbana-Champaign

Academic Unit
Author(s)
Keyword(s)
Type of Resource
Showing 51–75 of 198 items
Thumbnail for Practical analyses and transformations for flow-based parallelism
Practical analyses and transformations for flow-based parallelism
Chen, Nicholas Chun Y.

Thumbnail for Reducing the costs of bounded-exhaustive testing
Reducing the costs of bounded-exhaustive testing
Bangalore Jagannath, Vilas Shekhar

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 A flexible fine-grained adaptive framework for parallel mobile hybrid cloud applications
A flexible fine-grained adaptive framework for parallel mobile hybrid cloud applications
Shifteh Far, Saeidreza

Thumbnail for Whole-system testing and analysis of actor programs
Whole-system testing and analysis of actor programs
Li, Sihan

Thumbnail for Systematic testing for actor programs
Systematic testing for actor programs
Lauterburg, Steven T.

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 Consistency in actor based server-client architecture based applications
Consistency in actor based server-client architecture based applications
Kasiviswanathan, Rohan

Thumbnail for Improved regression testing of multithreaded programs
Improved regression testing of multithreaded programs
Jagannath, Vilas

Thumbnail for Smart wireless control of civil structures
Smart wireless control of civil structures
Linderman, Lauren

Thumbnail for Efficient testing of actor programs with non-deterministic behaviors
Efficient testing of actor programs with non-deterministic behaviors
Tasharofi, Samira

Thumbnail for Multi-scale structural health monitoring using wireless smart sensors
Multi-scale structural health monitoring using wireless smart sensors
Jo, Hongki

Thumbnail for Formal patterns for medical device safety
Formal patterns for medical device safety
Sun, Mu

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Liu, Si

Thumbnail for THAL: An Actor System for Efficient and Scalable Concurrent Computing
THAL: An Actor System for Efficient and Scalable Concurrent Computing
Kim, Wooyoung

Thumbnail for A Theory of Testing for Asynchronous Concurrent Systems
A Theory of Testing for Asynchronous Concurrent Systems
Thati, Prasannaa

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

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Al-Turki, Musab A.

Thumbnail for Enabling smart city resilience: post-disaster response and structural health monitoring
Enabling smart city resilience: post-disaster response and structural health monitoring
Yoon, Hyungchul

Thumbnail for Latency-bandwidth tradeoffs in Internet applications
Latency-bandwidth tradeoffs in Internet applications
Vulimiri, Ashish

Thumbnail for Verification of linear-time properties for finite probabilistic systems
Verification of linear-time properties for finite probabilistic systems
Kini, Dileep Raghunath

Thumbnail for Autonomous wireless smart sensor for monitoring of railroad bridges
Autonomous wireless smart sensor for monitoring of railroad bridges
Hoang, Tu

Thumbnail for A path-based framework for analyzing large markov models
A path-based framework for analyzing large markov models
Lam, Vinh V.

Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for A formal semantics of C with applications
A formal semantics of C with applications
Ellison, Charles