University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1921–1950 of 4,640 items
Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for Bundles in the Wild: Managing Information to Solve Problems and Maintain Situation Awareness
Bundles in the Wild: Managing Information to Solve Problems and Maintain Situation Awareness
Gorman, Paul; Ash, Joan; Lavelle, Mary; Lyman, Jason; Delcambre, Lois; Maier, David; Weaver, Mathew; Bowers, Shawn

Thumbnail for The coal future reserve and resource estimation / CAC No. 163 Appendix D
The coal future reserve and resource estimation / CAC No. 163 Appendix D
Rieber, Michael; Soo, Shao-lee; Stukel, James; Santogrossi, P.; Phillips, K.; Nemerovski, S. author

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José