Institutional Repository
 
Filters: Department: "Computing, School of"
51 - 75 of 1,117
Number of results to display per page
TitleDateTypeSetname
51 A path-precise analysis for property synthesis2003-12-01Textir_uspace
52 A personalized system for conversational recommendations2002-06-26Textir_uspace
53 A pipelined architecture for ray tracing1994-06Textir_computersa
54 A polymorphic, hierarchical type system for Prolog1992-08Textir_computersa
55 A practical logic framework for verifying safety properties of executables2011-01-01Textir_uspace
56 A practical workflow for making anatomical atlases for biological research2012-01-01Textir_uspace
57 A priori digital speech analysis1973-03Textir_computersa
58 A programmer's guide to PDP-10 euler1970Textir_uspace
59 A real time visible surface algorithm1970Textir_uspace
60 A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes2013-01-01Textir_uspace
61 A scheduling strategy for shared memory multiprocessors1990Textir_uspace
62 A shading method for computer generated images1988-06Textir_computersa
63 A shared memory algorithm and proof for the alternative construct in CSP1987Textir_uspace
64 A standard magnetic tape format for digital image exchange1981Textir_uspace
65 A study of Pierce's group generator2010Textir_uspace
66 A survey of MPI related debuggers and tools2007Textir_uspace
67 A survey of dextrous manipulation1986Textir_uspace
68 A survey of high level frameworks in block-structured adaptive mesh refinement packages2014-01-01Textir_uspace
69 A survey on sensor classifications for industrial applications1995Textir_uspace
70 A symbolic partial order reduction algorithm for rule based transition systems2003-12-01Textir_uspace
71 A symbolic simulation-based verification system for synchronous circuits1992-12Textir_computersa
72 A systolic array implementation of discrete relaxation algorithm1986Textir_uspace
73 A tour of the worm1989Textir_uspace
74 A transformational approach to asynchronous high-level synthesis1993Textir_uspace
75 A triangulation-invariant method for anisotropic geodesic map computation on surface meshes2012-01-01Textir_uspace
51 - 75 of 1,117