University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 5521–5550 of 11,276 items
Thumbnail for Dynamic Travel Time Estimation for Northeast Illinois Expressways
Dynamic Travel Time Estimation for Northeast Illinois Expressways
Mohammadian, Abolfazl; Taghipour, Homa; Bahador Parsa, Amir

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph