Institutional Repository
 
Filters: Department:"Kahlert School of Computing"
951 - 975 of 1,006
Number of results to display per page
TitleDateTypeSetname
951URK: Utah robot kit - a three-link robot prototype1994Textir_uspace
952URSIM reference manual2000Textir_uspace
953The use of subtle illumination cues for human judgement of spatial layout1999Textir_uspace
954User preferences in calendar applications2023Textir_htoa
955User's manual for the sisyphus simulation environment1986Textir_uspace
956Using a functional language and graph reduction to program multiprocessor machines or functional control of imperative programs1991Textir_uspace
957Using annotated interface definitions to optimize RPC1995Textir_uspace
958Using FPGAs to prototype a self-timed floating point co-processor1994Textir_uspace
959Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems2001-01-01Textir_uspace
960Using khazana to support distributed application development1999Textir_uspace
961Using metaprogramming to add persistence to CLOS1993Textir_uspace
962Using reliable multicast for caching and collaboration within the world wide web1999Textir_uspace
963Using utilization profiles in allocation and partitioning for multiprocessor systems1992Textir_uspace
964Using utilization profiles in allocation and partitioning for multiproscessor systems1992Textir_uspace
965Utah range database1986Textir_uspace
966The utilization of procedure models in digital image synthesis1976Textir_uspace
967Utilizing classroom technology to strengthen elementary education2016-05Textir_htoa
968UVSIM user manual: version 0.12003-03-13Textir_uspace
969Variable stretch textures on the GPU2023Textir_htoa
970Verification of MPI programs using Spin2004Textir_uspace
971Verification of regular arrays by symbolic simulation1991Textir_uspace
972Verification of systolic arrays: a stream functional approach1985Textir_uspace
973Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification2002-01-22Textir_uspace
974Verifying a virtual component interface-based PCI bus wrapper with FormalCheck2001-06-14Textir_uspace
975Verifying volume rendering using discretization error analysis2014-01-01Textir_uspace
951 - 975 of 1,006