University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1561–1590 of 5,851 items
Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for Clicky: User-centric Input for Active Spaces
Clicky: User-centric Input for Active Spaces
Andrews, Christopher R.; Sampemane, Geetanjali; Weiler, Andrew; Campbell, Roy H.

Thumbnail for Effects of coal-bound chlorine on furnace-wall corrosion under low-NOx conditions
Effects of coal-bound chlorine on furnace-wall corrosion under low-NOx conditions
Chou, Mei-In Melissa; Roy, W.R.; Robitz Jr., E.S.; Kung, S.C.; Ho, Ken K.

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks
ActorNet: An Actor Platform for Wireless Sensor Networks
Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.