University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 185
Dept. of Computer Science 156
Graduate Dissertations and Theses at Illinois 121
Dept. of Civil and Environmental Engineering 20
Newmark Structural Engineering Laboratory 9
Summary of Engineering Research (1957-2008) 7
Research publications from UIUC 3
College of Fine and Applied Arts 2
Illinois Research and Scholarship (Open Unit) 2
School of Music 2

Collection

Graduate Dissertations and Theses at Illinois 121
Dissertations and Theses - Computer Science 102
Research and Tech Reports - Computer Science 54
Dissertations and Theses - Civil and Environmental Engineering 11
Newmark Structural Laboratory Report Series (NSEL Report Series ISSN 1940-9826) 9
Summary of Engineering Research (2003-2008) 6
Research publications from the University of Illinois at Urbana-Champaign 3
Dissertations and Theses [Graduate College] - Music 2
Illinois Research and Scholarship (Open Collection) 2
Dissertations and Theses - Education 1

Author(s)

Agha, Gul A. 20
Sen, Koushik 9
Kwon, YoungMin 6
Meseguer, José 5
Spencer, Billie F., Jr. 5
University of Illinois at Urbana-Champaign. College of Engineering 5
Jang, Myeong-Wuk 4
Liu, Si 4
Sundresh, Sameer 4
Charalambides, Minas 3

Keyword(s)

Computer Science 53
computer science 14
Structural Health Monitoring 6
Formal Methods 5
Research and publications sponsored in the College of Engineering 5
Artificial Intelligence 4
concurrency 4
distributed systems 3
Backward Execution 2
Distributed Systems 2

Type of Resource

text 161
Thesis 4
Dissertation / Thesis 1
image 1

↑ ↓

Showing 31–60 of 199 items

1
2 (current)
3
4
5

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for An Actor-Based Framework for Real-Time Coordination

An Actor-Based Framework for Real-Time Coordination

Ren, Shangping

Thumbnail for CyberOrgs: A Model for Resource Bounded Complex Agents

CyberOrgs: A Model for Resource Bounded Complex Agents

Jamali, Nadeem

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

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 Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

Thumbnail for An Adaptive Resource Management Architecture for Global Distributed Computing

An Adaptive Resource Management Architecture for Global Distributed Computing

Venkatasubramanian, Nalini

Thumbnail for Conformance preserving data dissemination for large-scale peer to peer systems

Conformance preserving data dissemination for large-scale peer to peer systems

Chen, Liping

Thumbnail for Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures

Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures

Astley, Mark Christopher

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 Modular specification of interaction policies in distributed computing

Modular specification of interaction policies in distributed computing

Sturman, Daniel Charles

Thumbnail for POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop

POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop

Uttamchandani, Sandeep

Thumbnail for Performance of a hierarchical distributed garbage collection algorithm in ActorFoundry

Performance of a hierarchical distributed garbage collection algorithm in ActorFoundry

Huang, Shuheng

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis

Scalable Automated Methods for Dynamic Program Analysis

Sen, Koushik

Thumbnail for I-AdMiN: a framework for deriving adaptive service configuration in wireless smart sensor networks

I-AdMiN: a framework for deriving adaptive service configuration in wireless smart sensor networks

Moinzadeh, Parya

Thumbnail for Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

Thumbnail for Implicit Programming and the Logic of Constructible Duality

Implicit Programming and the Logic of Constructible Duality

Patterson, Anna L.

Thumbnail for Training machine learning algorithms using actor framework in multi-core or cluster system

Training machine learning algorithms using actor framework in multi-core or cluster system

Meena, Harshita

Thumbnail for Modular Specification of Partitioning and Distribution Strategies

Modular Specification of Partitioning and Distribution Strategies

Panwar, Rajendra Bhagwatisingh

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 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

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

Consistency in actor based server-client architecture based applications

Kasiviswanathan, Rohan

1
2 (current)
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 1?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)