University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–22 of 22 items
Thumbnail for Modeling and Complexity Comparison of Different Designs
Modeling and Complexity Comparison of Different Designs
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Sha, Lui

Thumbnail for Performance Evaluation of the Illinois Cloud Computing Testbed
Performance Evaluation of the Illinois Cloud Computing Testbed
Khurshid, Ahmed; Al-Nayeem, Abdullah; Gupta, Indranil

Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51
PALS/PRISM Software Design Description (SDD): Ver. 0.51
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui

Thumbnail for Pattern-based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Pattern-based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Al-Nayeem, Abdullah; Sha, Lui; Cofer, Darren D.; Miller, Steven M.

Thumbnail for Synchronous AADL and its Formal Analysis in Real-Time Maude
Synchronous AADL and its Formal Analysis in Real-Time Maude
Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José

Thumbnail for PALS: Physically Asynchronous Logically Synchronous Systems
PALS: Physically Asynchronous Logically Synchronous Systems
Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.