University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7471–7500 of 16,083 items
Thumbnail for A New Distributed Transaction Protocol and Its Formal Analysis in Maude
A New Distributed Transaction Protocol and Its Formal Analysis in Maude
Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Bita: Coverage-guided, Automatic Testing of Actor Programs
Bita: Coverage-guided, Automatic Testing of Actor Programs
Tasharofi, Samira; Pradel, Michael; Lin, Yu; Johnson, Ralph E.

Thumbnail for Accurate Sequence Alignment using Distributed Filtering on GPU Clusters
Accurate Sequence Alignment using Distributed Filtering on GPU Clusters
Farivar, Reza; Venkataraman, Shivaram; Li, Yanen; Chan, Ellick M.; Verma, Abhishek; Campbell, Roy H.

Thumbnail for Developments in Illinois and Indiana in 1948
Developments in Illinois and Indiana in 1948
Bell, Alfred Hannam; Esarey, Ralph E.; Brooks, B.E.

Thumbnail for Potential stresses in dielectrics
Potential stresses in dielectrics
Bennett, Claudius Edmund

Thumbnail for Vanadium efflorescence and its control by the use of fluorspar
Vanadium efflorescence and its control by the use of fluorspar
Deadmore, Daniel L.; Allen, A.W.; Machin, J.S.

Thumbnail for Year in review / 2008-09
Year in review / 2008-09
University of Illinois at Urbana-Champaign. Deptartment of Geology