Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
TO
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
Type
Text
4
Format
application/pdf
4
Collection
UScholar Works
4
Filters:
Department:
"Computing, School of"
Subject:
"Validation"
1
-
25
of
4
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
1
Design and validation of a simultaneous multi-threaded DLX processor
1999
Text
2
Designing information-preserving mapping schemes for XML
2005
Text
3
Method of generated solutions as a numerical verification tool for ice code
2007
Text
4
Specification and validation of control-intensive integrated circuits in hopCP
1992
Text
1
-
25
of
4