Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
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
TO
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
Type
Text
31
Image
3
Format
application/pdf
31
Collection
UScholar Works
31
Filters:
Department:
"School of Computing"
1
-
25
of
31
<
1
2
>
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
2-D scene analysis using split-level relaxation
1985
Text
2
3-D model building for computer vision
1985
Text
3
3D Line textures and the visualization of confidence in Architecture
2007
Text
4
A boolean sum interpolation scheme to random data for computer aided geometric design
1975
Text
5
A case for increased operating system support in chip multi-processors
2005
Text
6
A case for increased operating system support in chip multi-processors
2005
Text
7
A category theoretic formalism for abstract interpretation
1984
Text
8
A cell set for self-timed design using actel FPGAs
1991
Text
9
A characterization of parallel systems
1980
Text
10
A characterization of visual feature recognition
2003-09-03
Text
11
A code size microbenchmark for C
Text; Image
12
A collective approach to harness idle resources
2008
Text
13
A communication-ordered task graph allocation algorithm
1992
Text
14
A communication-ordered task graph allocation algorithm
1992
Text
15
A comparison of Jiazzi and AspectJ for feature-wise decomposition
2004-03-23
Text
16
A comparison of modular self-timed design styles
1995
Text
17
A comparison of online superpage promotion mechanisms
1999
Text
18
A comparison of self-timed design using FPGA, CMOS, and GaAs technologies
1992
Text
19
A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors
1996
Text
20
A compositional model for synchronous VLSI systems
1987
Text
21
A control paradigm for general purpose manipulation systems
1987
Text
22
A correctness criterion for asynchronous circuit validation and optimization
1992
Text
23
A correctness criterion for asynchronous circuit validation and optimization
1992
Text
24
A description of several tools for the synchronization of concurrent processes
1980
Text
25
A directional occlusion shading model for interactive direct volume rendering
Text; Image
1
-
25
of
31
<
1
2
>