University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 349 items
Thumbnail for Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

Thumbnail for Architecture Reference Models for Early Safety Analysis
Architecture Reference Models for Early Safety Analysis
Crenshaw, Tanya

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

Thumbnail for An adaptive physiology-aware communication framework for distributed medical cyber physical systems
An adaptive physiology-aware communication framework for distributed medical cyber physical systems
Hosseini, Seyyed Mohammad

Thumbnail for Design of low complexity fault tolerance for life critical situation awareness systems
Design of low complexity fault tolerance for life critical situation awareness systems
Raguraman, Dhashrath

Thumbnail for Context-sensitive key management for smart grid telemetric devices
Context-sensitive key management for smart grid telemetric devices
Tabassum, Rehana

Thumbnail for Dependable Cyber-Physical Systems through Control Flow Monitoring
Dependable Cyber-Physical Systems through Control Flow Monitoring
Van Der Woude, Joel

Thumbnail for Virtual Single-Core for Multicore Real-Time Computing
Virtual Single-Core for Multicore Real-Time Computing
Lui Sha, Jung-eun Kim, Jose Meseguer, and Peter C. Ölveczky

Thumbnail for Predictable inter-core communication for strictly partitioned real-time multi-core systems
Predictable inter-core communication for strictly partitioned real-time multi-core systems
Wen, Jen-Yang

Thumbnail for Single Core Equivalent Virtual Machines for Hard Real—Time Computing on Multicore Processors
Single Core Equivalent Virtual Machines for Hard Real—Time Computing on Multicore Processors
Sha, Lui; Caccamo, Marco; Mancuso, Renato; Kim, Jung-Eun; Yoon, Man-Ki; Pellizzoni, Rodolfo; Yun, Heechul; Kegley, Russel; Perlman, Dennis; Arundale, Greg; Bradford, Richard

Thumbnail for Andean Indigenous Expression: A Textual and Cultural Study of Hispanic-American and Quichua Poetry in Ecuador
Andean Indigenous Expression: A Textual and Cultural Study of Hispanic-American and Quichua Poetry in Ecuador
Macdonald, Regina Lee Harrison

Thumbnail for Perception versus reality in the works of Jorge Luis Borges
Perception versus reality in the works of Jorge Luis Borges
Klipstein, Sigal

Thumbnail for Broadband Light Absorption Using Ultrathin Plasmonic Super Absorbers
Broadband Light Absorption Using Ultrathin Plasmonic Super Absorbers
Bhuiya, Abdul Monnaf

Thumbnail for Secure and dependable cyber-physical system architectures
Secure and dependable cyber-physical system architectures
Yoon, Man Ki

Thumbnail for Modern lightweight approach for design and implementation of workflow-based clinical guidance system
Modern lightweight approach for design and implementation of workflow-based clinical guidance system
Chen, Luting

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

Thumbnail for Schedule-Based Side-Channel Attack in Fixed-Priority Real-time Systems
Schedule-Based Side-Channel Attack in Fixed-Priority Real-time Systems
Chen, Chien-Ying; Ghassami, Amiremad; Nagy, Stefan; Yoon, Man-Ki; Mohan, Sibin; Kiyavash, Negar; Bobba, Rakesh B.; Pellizzoni, Rodolfo

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 Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems
Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems
Jose Meseguer and Peter Olveczky

Thumbnail for Design of a Real-Time Switch with Bounded Delays
Design of a Real-Time Switch with Bounded Delays
Kang, Kyungtae; Sha, Lui

Thumbnail for Schedulability Analysis for Certification-friendly Multicore Systems
Schedulability Analysis for Certification-friendly Multicore Systems
Kim, Jung-Eun; Bradford, Richard; Abdelzaher, Tarek F.; Sha, Lui

Thumbnail for
"The struggle towards self-fulfillment in comparative perspective: The theme of woman's awakening in three realist novels--Gustave Flaubert's ""Madame Bovary"", Kate Chopin's ""The Awakening"", and Arishima Takeo's ""Aru Onna"""
Yonogi, Reiko

Thumbnail for Virtual Execution Environment for Robust Real-Time Systems
Virtual Execution Environment for Robust Real-Time Systems
Lee, Kihwal

Thumbnail for Timing analysis in existing and emerging cyber physical systems
Timing analysis in existing and emerging cyber physical systems
Kim, Jung-Eun

Thumbnail for A Distributed Open Environment for Real-Time Applications
A Distributed Open Environment for Real-Time Applications
Zhang, Lynn Y.

Thumbnail for A real-time scratchpad-centric OS for multi-core embedded systems
A real-time scratchpad-centric OS for multi-core embedded systems
Tabish, Rohan

Thumbnail for Virtual Execution Environment for Robust Real -Time Systems
Virtual Execution Environment for Robust Real -Time Systems
Lee, Kihwal

Thumbnail for Pathophysiological model for early detection of sepsis
Pathophysiological model for early detection of sepsis
Chen, Zikun

Thumbnail for Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation
Synchronizing Store Sets (SSS): Balancing the Benefits and Risks of Inter-thread Load Speculation
Stone, Sam S.; Woley, Kevin M.; Malik, Kshitiz; Agarwal, Mayank; Dhar, Vikram; Frank, Matthew I.

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.