Filters: Collection: "ir_uspace" Subject: "GEM"
1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Miller, Jan D. | Development and application of centrifugal flotation systems in wastewater treatment | Flotation as a wastewater treatment technique is designed to remove all particles generally encountered as very fine emulsions, suspended solids, and colloids from wastewater. Historically, Dissolved Air Flotation (DAF) has been used to achieve this removal. More recently, other flotation techniques... | Wastewater treatment; Centrifugal flotation; Liquid cyclone mixing; Hybrid centrifugal dissolved-air flotation; ASH; BAF; GEM; FF | 2007 |
| 2 |
 |
Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, Ganesh | GEM: graphical explorer for MPI programs | Formal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit... | GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs | 2009 |
1 - 25 of 2