Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
TO
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
Type
Text
27
Image
1
Format
application/pdf
27
Collection
Theses & Dissertations
10
UScholar Works
17
Filters:
Format:
"application/pdf"
Subject:
"Verification"
1
-
100
of
27
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
Date
Type
Setname
1
The 'Test model-checking' approach to the verification of formal memory models of multiprocessors
1998
Text
ir_uspace
2
A general compositional approach to verifying hierarchical cache coherence protocols
2006-11-26
Text
ir_uspace
3
An integration of dynamic MPI formal verification within eclipse PTP
2010-03-15
Text; Image
ir_uspace
4
An interface aware guided search method for error-trace justification in large protocols
2008
Text
ir_uspace
5
Area, power and performance optimization algorithms for elastic circuit control networks
2012-05
Text
ir_etd
6
Asynchronous circuit verification using trace theory and CCS
1992
Text
ir_uspace
7
Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits
2011-05
Text
ir_etd
8
Combustion efficiency from industrial flares with uncertainty quantification
2014-08
Text
ir_etd
9
Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design
1990
Text
ir_uspace
10
Development, verification, and validation of the responsive boundary model for pool fire simulations
2011-08
Text
ir_etd
11
Direct equivalence testing of embedded software
2011-08
Text
ir_etd
12
Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.)
1991
Text
ir_uspace
13
Explicit-enumeration based verification made memory-efficient
1995
Text
ir_uspace
14
Formal verification of device drivers in embedded systems
2013-12
Text
ir_etd
15
Method of generated solutions as a numerical verification tool for ice code
2007
Text
ir_uspace
16
The method of generated solutions for numerical verification of ICE code
2007
Text
ir_uspace
17
New verification method for embedded systems
2010-12
Text
ir_etd
18
On the decidability of shared memory consistency verification
2005-03-15
Text
ir_uspace
19
Scalable formal dynamic verification of MPI programs through distributed causality tracking
2011-08
Text
ir_etd
20
Symbolic asynchronous hardware protocol verification for compositions with relative timing
2010
Text
ir_etd
21
Towards a verification technique for large synchronous circuits
1992
Text
ir_uspace
22
Towards the theory and practice of verifying visualizations
2013-08
Text
ir_etd
23
Verification of MPI programs using Spin
2004
Text
ir_uspace
24
Verification of regular arrays by symbolic simulation
1991
Text
ir_uspace
25
Verification of systolic arrays: a stream functional approach
1985
Text
ir_uspace
26
Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification
2002-01-22
Text
ir_uspace
27
Verifying a virtual component interface-based PCI bus wrapper with FormalCheck
2001-06-14
Text
ir_uspace
1
-
100
of
27