Institutional Repository
 
Filters: Collection: ir_computersa OR ir_etd OR ir_uspace
151 - 175 of 713
Number of results to display per page
TitleDateTypeSetname
151 Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS files1999Textir_uspace
152 Behavioral simulation from high-level specifications1989-06Textir_computersa
153 Utah education network: a collaborative model1994-10Textir_uspace
154 Interactive manipulation of contour data using the layers program1994Textir_uspace
155 Computer aided geometric design1973Textir_uspace
156 Prejudicial search and backprop1991Textir_uspace
157 A note on optimal algorithms for fixed points2009Textir_uspace
158 Closed-form approximations to the volume rendering integral with Gaussian transfer functions2003-07-25Textir_uspace
159 Industrial revolutions: from canal systems to computer networks2000Textir_uspace
160 The I3Stick: an inexpensive, immersive, interaction device1999Textir_uspace
161 Reaction-diffusion processes as a computational paradigm2000Textir_uspace
162 Utah range database1986Textir_uspace
163 A note on the Oslo algorithm1987Textir_uspace
164 Improving linear prediction analysis of noisy speech by predictive noise cancellation1977Textir_uspace
165 Speed without fear: composable self-timed GaAs circuits1993Textir_uspace
166 A gallium arsenide mutual exclusion element1993Textir_uspace
167 A computer graphics method for solving transcendental equations1970Textir_uspace
168 Agent-based engineering drawing analysis2002-02-04Textir_uspace
169 Apparent symmetries in range data1987Textir_uspace
170 Leadership protocol for S-Nets2001Textir_uspace
171 Task defined grasp force solutions1988Textir_uspace
172 Techniques for visualizing 3D unstructured meshes1994Textir_uspace
173 The avalanche myrinet simulation package1996Textir_uspace
174 Semantics of networks containing indeterminate operators1984Textir_uspace
175 The synthesis of visual recognition strategies1985Textir_uspace
151 - 175 of 713