University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 241–270 of 4,853 items
Thumbnail for Finite Element Analysis of Intersecting Cylinders
Finite Element Analysis of Intersecting Cylinders
Bakhrebah, Saleh Abdullah; Schnobrich, William C.

Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for ReAssert: Suggesting Repairs for Broken Unit Tests
ReAssert: Suggesting Repairs for Broken Unit Tests
Daniel, Brett; Jagannath, Vilas; Dig, Danny; Marinov, Darko