Theses & Dissertations
 
Filters: Publication Type: "dissertation" Subject: "Verification"
1 - 25 of 7
Number of results to display per page
TitleDateType
1 Area, power and performance optimization algorithms for elastic circuit control networks2012-05Text
2 Combustion efficiency from industrial flares with uncertainty quantification2014-08Text
3 Development, verification, and validation of the responsive boundary model for pool fire simulations2011-08Text
4 Formal verification of device drivers in embedded systems2013-12Text
5 New verification method for embedded systems2010-12Text
6 Scalable formal dynamic verification of MPI programs through distributed causality tracking2011-08Text
7 Towards the theory and practice of verifying visualizations2013-08Text
1 - 25 of 7