1 - 25 of 11
Number of results to display per page
TitleDateTypeSetname
1 A correctness criterion for asynchronous circuit validation and optimization1992Textir_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 furnace2017Textir_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 Combustion efficiency from industrial flares with uncertainty quantification2014-08Textir_etd
5 Design and validation of a simultaneous multi-threaded DLX processor1999Textir_uspace
6 Designing information-preserving mapping schemes for XML2005Textir_uspace
7 Development, verification, and validation of the responsive boundary model for pool fire simulations2011-08Textir_etd
8 Method of generated solutions as a numerical verification tool for ice code2007Textir_uspace
9 Scale-bridging model development and increased model credibility2015-08Textir_etd
10 Specification and validation of control-intensive integrated circuits in hopCP1992Textir_uspace
11 User-guided 3D active contour segmentation of anatomical structures: significantly improved efficiency and reliability2006-01-01InteractiveResourceir_uspace
1 - 25 of 11