Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
1966
1967
1968
1969
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
2014
TO
1966
1967
1968
1969
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
2014
Type
Text
1,116
Image
29
InteractiveResource
1
Format
application/pdf
1,117
Collection
Computer Science Archive
160
UScholar Works
957
Filters:
Department:
"Computing, School of"
826
-
850
of
1,117
<
29
30
31
32
33
34
35
36
37
38
>
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
826
Provenance for computational tasks: a survey
2008-05
Text
ir_uspace
827
Provenance for visualizations: reproducibility and beyond
2007-09
Text
ir_uspace
828
Provenance in scientific workflow systems
2007
Text
ir_uspace
829
Proxy chain method and its application to scientific visualization
2006
Text
ir_uspace
830
PRT--a high quality image synthesis system for B-spline surfaces
1988-12
Text
ir_computersa
831
psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker
1999
Text
ir_uspace
832
PUG : A Symbolic Verifier of GPU Programs
2010-10-06
Text; Image
ir_uspace
833
Quantifying the relationship between the power delivery network and architectural policies in a 3D-stacked memory device
2013-01-01
Text
ir_uspace
834
Querying and creating visualizations by analogy
2007-11
Text
ir_uspace
835
Querying the web
2000
Text
ir_uspace
836
Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system
2012-01-01
Text
ir_uspace
837
Radioptimization - Goal based rendering
1993
Text
ir_uspace
838
Radix-16 signed-digit division
1988
Text
ir_uspace
839
Random testing of interrupt-driven software
2005-01-01
Text
ir_uspace
840
Random walk based heuristic algorithms for distributed memory model checking
2003-01-29
Text
ir_uspace
841
Range data processing: representation of surfaces by edges
1985
Text
ir_uspace
842
Re-visiting the performance impact of microarchitectural floorplanning
2006
Text
ir_uspace
843
Reaction-diffusion patterns in smart sensor networks
2003-11-05
Text
ir_uspace
844
Reaction-diffusion processes as a computational paradigm
2000
Text
ir_uspace
845
Reactive Behavior Design Tools
1992-01
Text
ir_computersa
846
Real-time measurement of multiple three-dimensional positions
1973-06
Text
ir_computersa
847
Real-time measurement of multiple three-dimensional positions
1973-06
Text
ir_computersa
848
Realizing burstmode circuits via STG speed independent synthesis
1997
Text
ir_uspace
849
Received signal strength based bearing-only robot navigation in a sensor network field
2014-01-01
Text
ir_uspace
850
Recent developments in parallel rendering
1994
Text
ir_uspace
826
-
850
of
1,117
<
29
30
31
32
33
34
35
36
37
38
>