University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–22 of 22 items
Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development
Physically-asynchronous logically-synchronous (PALS) system design and development
Al-Nayeem, Abdullah

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.

Thumbnail for Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Meseguer, José; Olveczky, Peter C.

Thumbnail for Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Wu, Po-Liang

Thumbnail for Effective architectural support for detecting concurrency bugs
Effective architectural support for detecting concurrency bugs
Muzahid, Abdullah

Thumbnail for A Framework For Intelligent Notification Management In Multitasking Domains
A Framework For Intelligent Notification Management In Multitasking Domains
Iqbal, Shamsi T.

Thumbnail for A Framework For Intelligent Notification Management In Multitasking Domains
A Framework For Intelligent Notification Management In Multitasking Domains
Iqbal, Shamsi T.

Thumbnail for A Framework for Intelligent Notification Management in Multitasking Domains
A Framework for Intelligent Notification Management in Multitasking Domains
Iqbal, Shamsi T.

Thumbnail for Laboratory course curriculum in cyber-physical systems
Laboratory course curriculum in cyber-physical systems
Adekunle, Olugbemiga O.

Thumbnail for Rewriting-based model checking methods
Rewriting-based model checking methods
Bae, Kyungmin

Thumbnail for Leveraging clustering for efficient communication in opportunistic networks
Leveraging clustering for efficient communication in opportunistic networks
Bakht, Mehedi

Thumbnail for Exploitation of information propagation patterns in social sensing
Exploitation of information propagation patterns in social sensing
Amin, Md Tanvir Al

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

Thumbnail for Game-theoretic analysis of deregulated electricity markets: From retail to wholesale
Game-theoretic analysis of deregulated electricity markets: From retail to wholesale
Alshehri, Khaled

Thumbnail for Session management for enabling multi-party interactivity and large-scale viewing in 3D tele-immersion
Session management for enabling multi-party interactivity and large-scale viewing in 3D tele-immersion
Arefin, Md

Thumbnail for Exploiting cost-performance tradeoffs for modern cloud systems
Exploiting cost-performance tradeoffs for modern cloud systems
Rahman, Muntasir Raihan

Thumbnail for Executable clinical models for acute care
Executable clinical models for acute care
Rahmaniheris, Maryam