1 - 25 of 9
| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 1 |
 |
A correctness criterion for asynchronous circuit validation and optimization | 1992 | Text | ir_uspace |
| 2 |
 |
Application of a validation/uncertainty quantification (vuq) methodology at two scales: from modeling of char oxidation to simulation of a 1.5 mw coal-fired furnace | 2017 | Text | ir_etd |
| 3 |
 |
Combustion efficiency from industrial flares with uncertainty quantification | 2014-08 | Text | ir_etd |
| 4 |
 |
Design and validation of a simultaneous multi-threaded DLX processor | 1999 | Text | ir_uspace |
| 5 |
 |
Designing information-preserving mapping schemes for XML | 2005 | Text | ir_uspace |
| 6 |
 |
Development, verification, and validation of the responsive boundary model for pool fire simulations | 2011-08 | Text | ir_etd |
| 7 |
 |
Method of generated solutions as a numerical verification tool for ice code | 2007 | Text | ir_uspace |
| 8 |
 |
Scale-bridging model development and increased model credibility | 2015-08 | Text | ir_etd |
| 9 |
 |
Specification and validation of control-intensive integrated circuits in hopCP | 1992 | Text | ir_uspace |
1 - 25 of 9