1 - 25 of 4
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Batchu, SatishAutomatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuitsAMS; Analog/mixed-signal; Modeling; Petri-net; Simulation; Verification2011-05thesis
2 Eldredge, Weston M.Development, verification, and validation of the responsive boundary model for pool fire simulationsBoundary conditions; Combustion; Data consistency; Pool fires; Validation; Verification2011-08dissertation
3 Pagariya, RohitDirect equivalence testing of embedded softwareCompiler testing; Embedded software; Equivalence testing; Verification2011-08thesis
4 Vo, AnhScalable formal dynamic verification of MPI programs through distributed causality trackingCausality tracking; Correctness checking; MPI; Verification2011-08dissertation
1 - 25 of 4