Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Advanced Search
Year
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
2015
2016
2017
2018
2019
TO
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
2015
2016
2017
2018
2019
Type
Text
715
Image/MovingImage
2
Format
application/pdf
722
application/x-shockwave-flash
1
video/mp4
1
Collection
Audio-Visual Archives Collections
1
Computer Science Archive
149
Continuum
1
Electronic University Archive
5
History of the Health Sciences
1
Honors Theses Closed Archive
1
Public Affairs of Health Sciences Center
1
Theses & Dissertations
3
UScholar Works
561
Undergrad Research Abstracts Journal
1
More
376
-
400
of
724
<
11
12
13
14
15
16
17
18
19
20
>
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
376
Simppl user's guide
1986
Text
ir_uspace
377
Some unusual micropipeline circuits
1993
Text
ir_uspace
378
Strategies and measures for our next century
1998-05-25
Text
ir_uspace
379
URK: Utah robot kit - a three-link robot prototype
1994
Text
ir_uspace
380
UVSIM user manual: version 0.1
2003-03-13
Text
ir_uspace
381
Verification of regular arrays by symbolic simulation
1991
Text
ir_uspace
382
Improved context awareness in data-centric network management
2019
Text
ir_etd
383
3D Line textures and the visualization of confidence in Architecture
2007
Text
ir_uspace
384
A general compositional approach to verifying hierarchical cache coherence protocols
2006-11-26
Text
ir_uspace
385
A GPU-based, three-dimensional level set solver with curvature flow
2002-12-11
Text
ir_uspace
386
A new approach to specifying and handling exceptions
1980
Text
ir_uspace
387
A symbolic partial order reduction algorithm for rule based transition systems
2003-12-01
Text
ir_uspace
388
An approach to three-dimensional scene databases
1987
Text
ir_uspace
389
An interface aware guided search method for error-trace justification in large protocols
2008
Text
ir_uspace
390
CFSIM: A concurrent compiled-code functional simulator for hopCP
1992
Text
ir_uspace
391
Computational sensor networks
2007
Text
ir_uspace
392
The design and implementation of partnet
1995
Text
ir_uspace
393
Direct Ray tracing of smoothed and displacement mapped triangles
2000
Text
ir_uspace
394
Dynamic program monitoring and transformation using the OMOS object server
1992
Text
ir_uspace
395
Explicit-enumeration based verification made memory-efficient
1995
Text
ir_uspace
396
Fred: an architecture for a self-timed decoupled computer
1995
Text
ir_uspace
397
Fred: an architecture for a self-timed decoupled computer
1996
Text
ir_uspace
398
Instrumented sensor system architecture
1997
Text
ir_uspace
399
Interactive deformation and visualization of level set surfaces using graphics hardware
2003-04-16
Text
ir_uspace
400
Message passing support in the Avalanche widget
1996
Text
ir_uspace
376
-
400
of
724
<
11
12
13
14
15
16
17
18
19
20
>