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
889
Format
application/pdf
889
Collection
Computer Science Archive
158
UScholar Works
731
Filters:
Department:
"Computing, School of"
Year End:
2006
51
-
75
of
889
<
1
2
3
4
5
6
7
8
9
10
>
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
51
A Saddle Point Strategy for Path Planning
1993
Text
ir_computersa
52
A scheduling strategy for shared memory multiprocessors
1990
Text
ir_uspace
53
A shading method for computer generated images
1988-06
Text
ir_computersa
54
A shared memory algorithm and proof for the alternative construct in CSP
1987
Text
ir_uspace
55
A standard magnetic tape format for digital image exchange
1981
Text
ir_uspace
56
A Subdivision Algorithm for Computer Display of Curved Surfaces
1974-12
Text
ir_computersa
57
A survey of dextrous manipulation
1986
Text
ir_uspace
58
A survey on sensor classifications for industrial applications
1995
Text
ir_uspace
59
A symbolic partial order reduction algorithm for rule based transition systems
2003-12-01
Text
ir_uspace
60
A symbolic simulation-based verification system for synchronous circuits
1992-12
Text
ir_computersa
61
A systolic array implementation of discrete relaxation algorithm
1986
Text
ir_uspace
62
A tour of the worm
1989
Text
ir_uspace
63
A transformational approach to asynchronous high-level synthesis
1993
Text
ir_uspace
64
A unifying framework for tolerance analysis in sensing, design, and manufacturing
1994
Text
ir_uspace
65
A visual Lisp debugging environment
1989-12
Text
ir_computersa
66
A Visual Programming Environment for the Construction of Block Diagrams
1989-04
Text
ir_computersa
67
A wrapper generation tool for the creation of scriptable scientific applications
1998
Text
ir_uspace
68
The A3000: An asynchronous version of the R3000
1995-03
Text
ir_computersa
69
Abstract interpretation and indeterminacy
1984
Text
ir_uspace
70
Abstract semantics for functional constraint programming
1989
Text
ir_uspace
71
Accelerated isosurface extraction in time-varying fields
2000
Text
ir_uspace
72
Accurate capacitance and resistance extraction
1993-03
Text
ir_computersa
73
Acoustic signal processing based on the short-time spectrum
1976
Text
ir_uspace
74
ACT: A DFT tool for self-timed circuits
1997
Text
ir_uspace
75
Active inspection and reverse engineering
1993
Text
ir_uspace
51
-
75
of
889
<
1
2
3
4
5
6
7
8
9
10
>