Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
2012
2013
2014
TO
2010
2011
2012
2013
2014
School Or College
College of Engineering
11
Department
Computing
5
Electrical & Computer Engineering
3
Chemical Engineering
2
Mechanical Engineering
1
Publication Type
dissertation
7
thesis
4
Subject
Verification
11
Validation
2
AMS
1
Analog/mixed-signal
1
BDD
1
Boundary conditions
1
Causality tracking
1
Combustion
1
Combustion efficiency
1
Compiler testing
1
Control network optimization
1
Correctness checking
1
Data consistency
1
Device
1
Driver
1
Elastic circuits
1
Embedded software
1
Embedded systems
1
Equivalence testing
1
Flares
1
Formal
1
Geomechanics
1
Hybrid SELF implementation
1
Hypervelocity
1
Interrupt
1
Isosurface extraction
1
Latency-insensitive design
1
Lazy SELF implementation
1
MPI
1
Medical imaging
1
Modeling
1
Perforation
1
Petri nets
1
Petri-net
1
Pool fires
1
Relative timing
1
SAT
1
Shaped-charge
1
Simulation
1
Solidmechanics
1
Symbolic model checking
1
Timed asynchronous protocol
1
Uncertainty quantification
1
Verifiable visualization
1
Visualization
1
Volume rendering
1
More
Filters:
Format:
"application/pdf"
Collection:
"ir_etd"
Subject:
"Verification"
1
-
25
of
11
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
File is restricted
Your browser does not support the video tag.
Your browser does not support the audio tag.
1
-
25
of
11