Institutional Repository
 
Filters: Department: "Computing, School of"
351 - 375 of 659
Number of results to display per page
TitleDateTypeSetname
351 Simppl user's guide1986Textir_uspace
352 Some unusual micropipeline circuits1993Textir_uspace
353 URK: Utah robot kit - a three-link robot prototype1994Textir_uspace
354 UVSIM user manual: version 0.12003-03-13Textir_uspace
355 Verification of regular arrays by symbolic simulation1991Textir_uspace
356 A general compositional approach to verifying hierarchical cache coherence protocols2006-11-26Textir_uspace
357 A GPU-based, three-dimensional level set solver with curvature flow2002-12-11Textir_uspace
358 A new approach to specifying and handling exceptions1980Textir_uspace
359 A symbolic partial order reduction algorithm for rule based transition systems2003-12-01Textir_uspace
360 An approach to three-dimensional scene databases1987Textir_uspace
361 An interface aware guided search method for error-trace justification in large protocols2008Textir_uspace
362 CFSIM: A concurrent compiled-code functional simulator for hopCP1992Textir_uspace
363 Computational sensor networks2007Textir_uspace
364 Direct Ray tracing of smoothed and displacement mapped triangles2000Textir_uspace
365 Dynamic program monitoring and transformation using the OMOS object server1992Textir_uspace
366 Explicit-enumeration based verification made memory-efficient1995Textir_uspace
367 Fred: an architecture for a self-timed decoupled computer1995Textir_uspace
368 Fred: an architecture for a self-timed decoupled computer1996Textir_uspace
369 Instrumented sensor system architecture1997Textir_uspace
370 Interactive deformation and visualization of level set surfaces using graphics hardware2003-04-16Textir_uspace
371 Message passing support in the Avalanche widget1996Textir_uspace
372 Migrating relational data to an OODB: strategies and lessions from a molecular biology experience1997Textir_uspace
373 Minimum distance queries for polygonal and parametric models1997Textir_uspace
374 Natural image statistics for computer graphics2001Textir_uspace
375 Prototyping environment for robot manipulators1994Textir_uspace
351 - 375 of 659