Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
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
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
Type
Text
676
Format
application/pdf
676
Collection
Computer Science Archive
148
UScholar Works
528
Filters:
School Or College:
"College of Engineering"
401
-
425
of
676
<
12
13
14
15
16
17
18
19
20
21
>
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
401
Modularity meets inheritance
1991
Text
ir_uspace
402
Our LIPS are sealed: interfacing logic and functional programming systems
1992
Text
ir_uspace
403
Partial order reduction without the proviso
1996
Text
ir_uspace
404
Photographic tone reproduction for digital images
2002-01-14
Text
ir_uspace
405
Robust regularized set operations on polyhedra
1990
Text
ir_uspace
406
Robust solid modeling by avoiding redundancy for manifold objects in boundary representation
1993
Text
ir_uspace
407
Runtime aspect weaving through metaprogramming
2001
Text
ir_uspace
408
Selected fixed point problems and algorithms
2007
Text
ir_uspace
409
Sensory information processing (1 July 1975 - 31 December 1975)
1977
Text
ir_uspace
410
Static analysis techniques for the synthesis of efficient asynchronous circuits
1991
Text
ir_uspace
411
Verification of systolic arrays: a stream functional approach
1985
Text
ir_uspace
412
A category theoretic formalism for abstract interpretation
1984
Text
ir_uspace
413
A correctness criterion for asynchronous circuit validation and optimization
1992
Text
ir_uspace
414
A dynamic recursive structure for intelligent exploration
1992
Text
ir_uspace
415
A fast iterative method for a class of Hamilton-Jacobi equations on parallel systems
2007
Text
ir_uspace
416
Artistic vision: painterly rendering using computer vision techniques
2000
Text
ir_uspace
417
Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems
1978
Text
ir_uspace
418
Design and validation of a simultaneous multi-threaded DLX processor
1999
Text
ir_uspace
419
Detecting ambiguities: an optimistic approach to robustness problems in computational geometry
1990
Text
ir_uspace
420
Geometric reasoning for map-based localization
1996
Text
ir_uspace
421
Hidden curve removal for free form surfaces
1989
Text
ir_uspace
422
Implementing functional programs using mutable abstract data types
1987
Text
ir_uspace
423
Khazana An infrastructure for building distributed services
1998
Text
ir_uspace
424
Khazana an infrastructure for building distributed services
1998
Text
ir_uspace
425
OMOS - An object server for program execution
1992
Text
ir_uspace
401
-
425
of
676
<
12
13
14
15
16
17
18
19
20
21
>