51 - 75 of 1,117
Number of results to display per page
TitleDateTypeSetname
51 A practical logic framework for verifying safety properties of executables2011-01-01Textir_uspace
52 A practical workflow for making anatomical atlases for biological research2012-01-01Textir_uspace
53 A priori digital speech analysis1973-03Textir_computersa
54 A programmer's guide to PDP-10 euler1970Textir_uspace
55 A real time visible surface algorithm1970Textir_uspace
56 A Saddle Point Strategy for Path Planning1993Textir_computersa
57 A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes2013-01-01Textir_uspace
58 A scheduling strategy for shared memory multiprocessors1990Textir_uspace
59 A shading method for computer generated images1988-06Textir_computersa
60 A shared memory algorithm and proof for the alternative construct in CSP1987Textir_uspace
61 A standard magnetic tape format for digital image exchange1981Textir_uspace
62 A study of Pierce's group generator2010Textir_uspace
63 A Subdivision Algorithm for Computer Display of Curved Surfaces1974-12Textir_computersa
64 A survey of dextrous manipulation1986Textir_uspace
65 A survey of high level frameworks in block-structured adaptive mesh refinement packages2014-01-01Textir_uspace
66 A survey of MPI related debuggers and tools2007Textir_uspace
67 A survey on sensor classifications for industrial applications1995Textir_uspace
68 A symbolic partial order reduction algorithm for rule based transition systems2003-12-01Textir_uspace
69 A symbolic simulation-based verification system for synchronous circuits1992-12Textir_computersa
70 A systolic array implementation of discrete relaxation algorithm1986Textir_uspace
71 A tour of the worm1989Textir_uspace
72 A transformational approach to asynchronous high-level synthesis1993Textir_uspace
73 A triangulation-invariant method for anisotropic geodesic map computation on surface meshes2012-01-01Textir_uspace
74 A unifying framework for tolerance analysis in sensing, design, and manufacturing1994Textir_uspace
75 A User Interface Model and Tools for Geometric DesignTextir_computersa
51 - 75 of 1,117