Institutional Repository
 
Filters: School Or College: "College of Engineering"
351 - 375 of 676
Number of results to display per page
TitleDateTypeSetname
351 hopCP: language definition, semantics and examples1990Textir_uspace
352 Method of generated solutions as a numerical verification tool for ice code2007Textir_uspace
353 Performance of arc consistency algorithms on the CRAY1987Textir_uspace
354 Persistence is hard, then you die! or compiler and runtime support for a persistent common Lisp.1994Textir_uspace
355 Robustness in solid modeling - a tolerance based, intuitionistic approach1992Textir_uspace
356 Segmentation of complex outdoor scenes1985Textir_uspace
357 Set operations on sculptured solids1987Textir_uspace
358 Simppl user's guide1986Textir_uspace
359 Some unusual micropipeline circuits1993Textir_uspace
360 URK: Utah robot kit - a three-link robot prototype1994Textir_uspace
361 UVSIM user manual: version 0.12003-03-13Textir_uspace
362 Verification of regular arrays by symbolic simulation1991Textir_uspace
363 3D Line textures and the visualization of confidence in Architecture2007Textir_uspace
364 A general compositional approach to verifying hierarchical cache coherence protocols2006-11-26Textir_uspace
365 A GPU-based, three-dimensional level set solver with curvature flow2002-12-11Textir_uspace
366 A new approach to specifying and handling exceptions1980Textir_uspace
367 A symbolic partial order reduction algorithm for rule based transition systems2003-12-01Textir_uspace
368 An approach to three-dimensional scene databases1987Textir_uspace
369 An interface aware guided search method for error-trace justification in large protocols2008Textir_uspace
370 CFSIM: A concurrent compiled-code functional simulator for hopCP1992Textir_uspace
371 Computational sensor networks2007Textir_uspace
372 The design and implementation of partnet1995Textir_uspace
373 Direct Ray tracing of smoothed and displacement mapped triangles2000Textir_uspace
374 Dynamic program monitoring and transformation using the OMOS object server1992Textir_uspace
375 Explicit-enumeration based verification made memory-efficient1995Textir_uspace
351 - 375 of 676