University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 9,252 items
Thumbnail for Inorganic seminar abstracts. 1952-53
Inorganic seminar abstracts. 1952-53
University of Illinois at Urbana-Champaign. Deptartment of Chemistry

Thumbnail for Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer
Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer
Alewine, N.J.; Chen, S.-K.; Fuchs, W.K.; Hwu, W.-M.

Thumbnail for A Hierarchical Approach for Dependability Analysis of a Commercial Cached RAID Storage Architecture
A Hierarchical Approach for Dependability Analysis of a Commercial Cached RAID Storage Architecture
Kaâniche, M.; Romano, L.; Kalbarczyk, Z.; Iyer, R.K.; Karcich, R.

Thumbnail for LTL Model Checking in Matching Logic
LTL Model Checking in Matching Logic
Tusil, Jan; Chen, Xiaohong

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Inorganic seminar abstracts. 1936-45
Inorganic seminar abstracts. 1936-45
University of Illinois at Urbana-Champaign. Deptartment of Chemistry