Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
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
TO
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
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
Type
Text
52
Image
1
Format
application/pdf
52
Collection
UScholar Works
52
Filters:
Department:
"Computing, School of"
1
-
25
of
52
<
1
2
3
>
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
Transaction ordering verification of the PCI 2.1 protocol using trace inclusion refinement
2000
Text
2
Integrating component-based scientific computing software
2006
Text
3
Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification
2002-01-22
Text
4
Towards enabling social analysis of scientific data
2008
Text
5
hopCP: language definition, semantics and examples
1990
Text
6
Kirby research group
2012
Text; Image
7
A survey on sensor classifications for industrial applications
1995
Text
8
Formal methods for surviving the jungle of heterogeneous parallelism
2012-01-01
Text
9
Unified model of phrasal and sentential evidence for information extraction
2009
Text
10
A parametric model for human faces
1975
Text
11
Hardware-only stream prediction + cache prefetching + dynamic access ordering
1999
Text
12
Corpus-based identification of non-anaphoric noun phrases
1999
Text
13
Verifying a virtual component interface-based PCI bus wrapper with FormalCheck
2001-06-14
Text
14
Discrete B-splines and subdivision techniques in compter-aided geometric design and computer graphics
1979
Text
15
The key node method: a highly-parallel alpha-beta algorithm
1983
Text
16
Formal specification of the virtual component interface standard in the unified modeling language
2001
Text
17
Quantifying the relationship between the power delivery network and architectural policies in a 3D-stacked memory device
2013-01-01
Text
18
Adaptive isocurves based rendering for freeform surfaces
1992
Text
19
The utilization of procedure models in digital image synthesis
1976
Text
20
Segmentation of complex outdoor scenes
1985
Text
21
Computational sensor networks
2007
Text
22
RobotShare: a framework for robot knowledge sharing
2007
Text
23
A practical logic framework for verifying safety properties of executables
2011-01-01
Text
24
Adaptive isocurves based rendering for freeform surfaces
1992
Text
25
Memory system support for image processing
1999
Text
1
-
25
of
52
<
1
2
3
>
