University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 159 items
Thumbnail for Large-Scale Network Simulation Scalability and an FPGA-based Network Simulator
Large-Scale Network Simulation Scalability and an FPGA-based Network Simulator
Bak, Stanley

Thumbnail for Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety
Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety
Bak, Stanley

Thumbnail for Verifiable COTS-based cyber-physical systems
Verifiable COTS-based cyber-physical systems
Bak, Stanley

Thumbnail for Predictable Execution Model: Concept and Implementation
Predictable Execution Model: Concept and Implementation
Pellizzoni, Rodolfo; Betti, Emiliano; Bak, Stanley; Yao, Gang; Criswell, John; Caccamo, Marco

Thumbnail for Predictable and monitored execution for COTS-based real-time embedded systems
Predictable and monitored execution for COTS-based real-time embedded systems
Pellizzoni, Rodolfo

Thumbnail for Carbon cycling in the Caribbean reef-building coral Orbicella: quantitative evidence for enzymatic control of skeletal density banding and coral-endosymbiont physiological plasticity during seasonal environmental change
Carbon cycling in the Caribbean reef-building coral Orbicella: quantitative evidence for enzymatic control of skeletal density banding and coral-endosymbiont physiological plasticity during seasonal environmental change
Miller, Carly

Thumbnail for Quantitative tracking of the cellular and skeletal response of the Caribbean coral Orbicella annularis to gradients in marine sewage pollution
Quantitative tracking of the cellular and skeletal response of the Caribbean coral Orbicella annularis to gradients in marine sewage pollution
Murphy, Erin Lee

Thumbnail for Chromatophore tissue density and skeletal density banding as a measure of the adaptive response of healthy corals to environmental change
Chromatophore tissue density and skeletal density banding as a measure of the adaptive response of healthy corals to environmental change
Ardisana, Ryanne

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

Thumbnail for MadT: A Memory Access Detection Tool for Symbolic Memory Profiling
MadT: A Memory Access Detection Tool for Symbolic Memory Profiling
Marco Cesati; Mancuso, Renato; Betti, Emiliano; Caccamo, Marco

Thumbnail for Neutron scattering and AC calorimetry studies of first stage alkali-graphite intercalation compounds
Neutron scattering and AC calorimetry studies of first stage alkali-graphite intercalation compounds
Robinson, Douglas Stokes

Thumbnail for Translation of Simulink-Stateflow models to hybrid automata
Translation of Simulink-Stateflow models to hybrid automata
Manamcheri Sukumar, Karthikeyan

Thumbnail for Performing modern Korea in the U.S.: Korean immigrants' theatrical activities in California and Hawai'i during the first half of the twentieth century
Performing modern Korea in the U.S.: Korean immigrants' theatrical activities in California and Hawai'i during the first half of the twentieth century
Jeon, Young Ji

Thumbnail for A Variational Formulation Describing the Attractors of Some Open, Dissipative, Electromechanical Systems
A Variational Formulation Describing the Attractors of Some Open, Dissipative, Electromechanical Systems
Dueweke, Michael John

Thumbnail for Topics in Lattice Statistics: I. Systematics of Multilayer Adsorption Phenomena on Attractive Substrates. Ii. Dynamical Critical Exponents for the Kinetic Ising Model: A Finite-Size Hamiltonian Calculation
Topics in Lattice Statistics: I. Systematics of Multilayer Adsorption Phenomena on Attractive Substrates. Ii. Dynamical Critical Exponents for the Kinetic Ising Model: A Finite-Size Hamiltonian Calculation
Pandit, Rahul

Thumbnail for Three essays investigating post-bubble housing market: prices and foreclosures
Three essays investigating post-bubble housing market: prices and foreclosures
Bak, Xian Fang

Thumbnail for Types of late Cenozoic gastropods in the Frank Collins Baker Collection, Illinois State Geological Survey
Types of late Cenozoic gastropods in the Frank Collins Baker Collection, Illinois State Geological Survey
Leonard, Arthur Byron

Thumbnail for Topics in Lattice Statistics: I. Systematics of Multilayer Adsorption Phenomena on Attractive Substrates II. Dynamical Critical Exponents for the Kinetic Ising Model: A Finite-Size Hamiltonian Calculation
Topics in Lattice Statistics: I. Systematics of Multilayer Adsorption Phenomena on Attractive Substrates II. Dynamical Critical Exponents for the Kinetic Ising Model: A Finite-Size Hamiltonian Calculation
Pandit, Rahul

Thumbnail for Sweeprate and Temperature Effects on Crackling Noise
Sweeprate and Temperature Effects on Crackling Noise
White, Robert Allen

Thumbnail for Preserving safety in distributed cyber physical systems with unreliable communication channels
Preserving safety in distributed cyber physical systems with unreliable communication channels
Abdi Taghi Abad, Fardin

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 Abstractions for safety assurance of autonomous systems
Abstractions for safety assurance of autonomous systems
Hsieh, Chiao • 2023

Thumbnail for Safety and security of cyber-physical systems
Safety and security of cyber-physical systems
Abdi Taghi Abad, Fardin

Thumbnail for Redefining the hardware-software boundary in networked systems
Redefining the hardware-software boundary in networked systems
Mochizuki, Brent A.

Thumbnail for The Role of Contrast in Nasal Harmony
The Role of Contrast in Nasal Harmony
Homer, Molly Kathryn

Thumbnail for Shared memory parallelization for large scale 3D polyhedral particle simulations
Shared memory parallelization for large scale 3D polyhedral particle simulations
Park, Eun Hyun

Thumbnail for Structural Differentiation in the Somatic Cortex of a Ciliated Protozoan,conchophthirus Curtus, Engelmann 1862
Structural Differentiation in the Somatic Cortex of a Ciliated Protozoan,conchophthirus Curtus, Engelmann 1862
Antipa, Gregory A.

Thumbnail for Mechanism of methoxychlor toxicity in mouse ovarian antral follicles
Mechanism of methoxychlor toxicity in mouse ovarian antral follicles
Basavarajappa, Mallikarjuna

Thumbnail for A cross-linguistic survey of associated motion and directionals (Data Handout)
A cross-linguistic survey of associated motion and directionals (Data Handout)
Ross, Daniel

Thumbnail for Remapping Songdo: A genealogy of a smart city in South Korea
Remapping Songdo: A genealogy of a smart city in South Korea
Yang, Chamee