1 - 25 of 11
Number of results to display per page
TitleDateTypeSetname
1 A correctness criterion for asynchronous circuit validation and optimization1992Textir_uspace
2 An instrumentalist approach to validation: a quantitative assessment of a novel coal gasification model2012Textir_etd
3 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 furnace2017Textir_etd
4 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 furnace2017Textir_etd
5 Combustion efficiency from industrial flares with uncertainty quantification2014-08Textir_etd
6 Design and validation of a simultaneous multi-threaded DLX processor1999Textir_uspace
7 Designing information-preserving mapping schemes for XML2005Textir_uspace
8 Development, verification, and validation of the responsive boundary model for pool fire simulations2011-08Textir_etd
9 Method of generated solutions as a numerical verification tool for ice code2007Textir_uspace
10 Scale-bridging model development and increased model credibility2015-08Textir_etd
11 Specification and validation of control-intensive integrated circuits in hopCP1992Textir_uspace
1 - 25 of 11