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
10
Department
Computing
5
Electrical & Computer Engineering
3
Chemical Engineering
2
Publication Type
dissertation
7
thesis
3
Subject
Verification
10
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
Hybrid SELF implementation
1
Interrupt
1
Isosurface extraction
1
Latency-insensitive design
1
Lazy SELF implementation
1
MPI
1
Medical imaging
1
Modeling
1
Petri nets
1
Petri-net
1
Pool fires
1
Relative timing
1
SAT
1
Simulation
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"
School Or College:
"College of Engineering"
Collection:
"ir_etd"
Subject:
"Verification"
1
-
25
of
10
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
Title
Setname
Type
1
Area, power and performance optimization algorithms for elastic circuit control networks
ir_etd
Text
2
Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits
ir_etd
Text
3
Combustion efficiency from industrial flares with uncertainty quantification
ir_etd
Text
4
Development, verification, and validation of the responsive boundary model for pool fire simulations
ir_etd
Text
5
Direct equivalence testing of embedded software
ir_etd
Text
6
Formal verification of device drivers in embedded systems
ir_etd
Text
7
New verification method for embedded systems
ir_etd
Text
8
Scalable formal dynamic verification of MPI programs through distributed causality tracking
ir_etd
Text
9
Symbolic asynchronous hardware protocol verification for compositions with relative timing
ir_etd
Text
10
Towards the theory and practice of verifying visualizations
ir_etd
Text
1
-
25
of
10