1 - 25 of 8
| 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 |
 | Design and validation of a simultaneous multi-threaded DLX processor | 1999 | Text | ir_uspace |
| 4 |
 | Designing information-preserving mapping schemes for XML | 2005 | Text | ir_uspace |
| 5 |
 | Development, verification, and validation of the responsive boundary model for pool fire simulations | 2011-08 | Text | ir_etd |
| 6 |
 | Method of generated solutions as a numerical verification tool for ice code | 2007 | Text | ir_uspace |
| 7 |
 | Scale-bridging model development and increased model credibility | 2015-08 | Text | ir_etd |
| 8 |
 | Specification and validation of control-intensive integrated circuits in hopCP | 1992 | Text | ir_uspace |
1 - 25 of 8