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
501
-
525
of
724
<
16
17
18
19
20
21
22
23
24
25
>
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
501
Using annotated interface definitions to optimize RPC
1995
Text
ir_uspace
502
Using utilization profiles in allocation and partitioning for multiprocessor systems
1992
Text
ir_uspace
503
Unquiet crisis: the University of Utah during the James Chipman Fletcher administration
2008-05
Text
ir_etd
504
A communication-ordered task graph allocation algorithm
1992
Text
ir_uspace
505
A partial order reduction algorithm without the Proviso
1998
Text
ir_uspace
506
A path-precise analysis for property synthesis
2003-12-01
Text
ir_uspace
507
A study of Pierce's group generator
2010
Text
ir_uspace
508
An architecture for a loosely-coupled parallel processor
1978
Text
ir_uspace
509
An axiomatic approach for solving geometric problems symbolically
1990
Text
ir_uspace
510
An O(1) time complexity software barrier
2004
Text
ir_uspace
511
Analysis of avalanche's shared memory architecture
1997
Text
ir_uspace
512
CAGD-based computer vision
1987
Text
ir_uspace
513
CAGD-based computer vision
1989-11
Text
ir_uspace
514
CAGD-based computer vision
1987
Text
ir_uspace
515
CASL - A language for automating the implementation of computer architectures
1979
Text
ir_uspace
516
Combinator evaluation of functional programs with logical variables
1987
Text
ir_uspace
517
Combining symbolic and numeric computation on the CRAY
1986
Text
ir_uspace
518
Discrete B-splines and subdivision techniques in compter-aided geometric design and computer graphics
1979
Text
ir_uspace
519
DPOS programming manual
1990
Text
ir_uspace
520
Dynamic CPU management for real-time, middleware-based systems
2004-01-01
Text
ir_uspace
521
Dynamic program monitoring and transformation using the OMOS object server
1992
Text
ir_uspace
522
Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.)
1991
Text
ir_uspace
523
ETYMA: a framework for modular systems
1994
Text
ir_uspace
524
Exploring the value of supporting multiple DSM protocols in Hardware DSM Controllers
1999
Text
ir_uspace
525
Expressive rendering of mountainous terrain
2007
Text
ir_uspace
501
-
525
of
724
<
16
17
18
19
20
21
22
23
24
25
>