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
351
-
375
of
724
<
10
11
12
13
14
15
16
17
18
19
>
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
351
Towards a verification technique for large synchronous circuits
1992
Text
ir_uspace
352
TRACIS: transformations on Ada for circuit synthesis a report on the methodology for a silicon compiler
1983
Text
ir_uspace
353
Type-safe composition of object modules
1994
Text
ir_uspace
354
Visual summary statistics
2007
Text
ir_uspace
355
Free love, Linux and Leishmaniasis: developing a business model for communitarian innovation
2012-05
Text
ir_etd
356
Sequencing computational events in heterogeneous distributed systems
1990
Text
ir_uspace
357
A characterization of visual feature recognition
2003-09-03
Text
ir_uspace
358
A correctness criterion for asynchronous circuit validation and optimization
1992
Text
ir_uspace
359
Abstract semantics for functional constraint programming
1989
Text
ir_uspace
360
Analyzing the Intel Itanium memory ordering rules using logic programming and SAT
2003
Text
ir_uspace
361
The architecture of DDMl: a recursively structured data driven machine
1977
Text
ir_uspace
362
Asynchronous circuit verification using trace theory and CCS
1992
Text
ir_uspace
363
Cache-rings for memory efficient isosurface construction
1997
Text
ir_uspace
364
Cluster-based interactive volume rendering with Simian
2003-09-03
Text
ir_uspace
365
Does the quality of the computer graphics matter when judging distances in visually immersive environments?
2002-12-05
Text
ir_uspace
366
Efficient instruction level simulation of computers
1987
Text
ir_uspace
367
Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL
1991
Text
ir_uspace
368
Honors Program of undergraduate research abstracts vol 8
uu_urop
369
hopCP: language definition, semantics and examples
1990
Text
ir_uspace
370
Method of generated solutions as a numerical verification tool for ice code
2007
Text
ir_uspace
371
Performance of arc consistency algorithms on the CRAY
1987
Text
ir_uspace
372
Persistence is hard, then you die! or compiler and runtime support for a persistent common Lisp.
1994
Text
ir_uspace
373
Robustness in solid modeling - a tolerance based, intuitionistic approach
1992
Text
ir_uspace
374
Segmentation of complex outdoor scenes
1985
Text
ir_uspace
375
Set operations on sculptured solids
1987
Text
ir_uspace
351
-
375
of
724
<
10
11
12
13
14
15
16
17
18
19
>