University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 100 items
Thumbnail for Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Wang, Qixin

Thumbnail for Types for mutual exclusion in concurrent programming languages
Types for mutual exclusion in concurrent programming languages
Lee, John J • 2023

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

Thumbnail for Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

Thumbnail for Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

Thumbnail for
"Translation or adaptation? authors writing in a second language: an analysis of Stefan Heym's ""Hostages"" and ""Der Fall Glasenapp"""
Schultz, Christina R.

Thumbnail for Die Zeitgemaesse Form: Eine Vergleichende Studie Zur Entwicklung Der Kurzgeschichte in Deutschland Und Daenemark Zwischen 1945 Und 1970. (German Text)
Die Zeitgemaesse Form: Eine Vergleichende Studie Zur Entwicklung Der Kurzgeschichte in Deutschland Und Daenemark Zwischen 1945 Und 1970. (German Text)
Marx, Leonie Augustine

Thumbnail for
"""Das Gehirn Unsrer Lieben Schwestern"": Women Writers of the Journal ""Jugend"" From 1919--1940"
Condray, Kathleen M.

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

Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for Automatic test generation for the detection of performance bugs in code optimization
Automatic test generation for the detection of performance bugs in code optimization
Phaosawasdi, Amarin

Thumbnail for The Summary of Engineering Research 2008
The Summary of Engineering Research 2008
University of Illinois at Urbana-Champaign. College of Engineering

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 A modular rewriting approach to language design, evolution and analysis
A modular rewriting approach to language design, evolution and analysis
Hills, Mark

Thumbnail for A Modular Rewriting Approach to Language Design, Evolution and Analysis
A Modular Rewriting Approach to Language Design, Evolution and Analysis
Hills, Mark

Thumbnail for The Summary of Engineering Research 2007
The Summary of Engineering Research 2007
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Preparation-free and comprehensive runtime verification tool for testing Java programs
Preparation-free and comprehensive runtime verification tool for testing Java programs
Lee, Choonghwan

Thumbnail for 'Truth Is Stranger Than Fiction': Black Women in American Literature of the *South
'Truth Is Stranger Than Fiction': Black Women in American Literature of the *South
Johnson, Sherita

Thumbnail for
"Paul Brann Und Sein ""marionettentheater Muenchner Kuenstler"". (german Text)"
Philapitsch-Aschober, Renate

Thumbnail for Regression test selection: theory and practice
Regression test selection: theory and practice
Gligoric, Milos Zivko

Thumbnail for Commencement program. 1930/31
Commencement program. 1930/31
University of Illinois at Urbana-Champaign

Thumbnail for Tools for underprepared students in engineering physics with a focus on online mastery learning exercises
Tools for underprepared students in engineering physics with a focus on online mastery learning exercises
Gutmann, Brianne

Thumbnail for The optimal mechanism in differential privacy
The optimal mechanism in differential privacy
Geng, Quan

Thumbnail for Commencement program. 1916/29
Commencement program. 1916/29
University of Illinois at Urbana-Champaign

Thumbnail for Schiller and Hofmannsthal
Schiller and Hofmannsthal
Bangerter, Lowell Allen

Thumbnail for Evolution-aware runtime verification
Evolution-aware runtime verification
Legunsen, Owolabi

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Sorrentino, Francesco

Thumbnail for The Galileo plays of Bertolt Brecht and Barrie Stavis
The Galileo plays of Bertolt Brecht and Barrie Stavis
Larson, David Ward

Thumbnail for Dynamic analysis of Cyber-Physical Systems
Dynamic analysis of Cyber-Physical Systems
Duggirala, Parasara Sridhar

Thumbnail for Cost-effective data structural preparation
Cost-effective data structural preparation
Chodpathumwan, Yodsawalai