51 - 75 of 889
Number of results to display per page
TitleDateTypeSetname
51 A Saddle Point Strategy for Path Planning1993Textir_computersa
52 A scheduling strategy for shared memory multiprocessors1990Textir_uspace
53 A shading method for computer generated images1988-06Textir_computersa
54 A shared memory algorithm and proof for the alternative construct in CSP1987Textir_uspace
55 A standard magnetic tape format for digital image exchange1981Textir_uspace
56 A Subdivision Algorithm for Computer Display of Curved Surfaces1974-12Textir_computersa
57 A survey of dextrous manipulation1986Textir_uspace
58 A survey on sensor classifications for industrial applications1995Textir_uspace
59 A symbolic partial order reduction algorithm for rule based transition systems2003-12-01Textir_uspace
60 A symbolic simulation-based verification system for synchronous circuits1992-12Textir_computersa
61 A systolic array implementation of discrete relaxation algorithm1986Textir_uspace
62 A tour of the worm1989Textir_uspace
63 A transformational approach to asynchronous high-level synthesis1993Textir_uspace
64 A unifying framework for tolerance analysis in sensing, design, and manufacturing1994Textir_uspace
65 A visual Lisp debugging environment1989-12Textir_computersa
66 A Visual Programming Environment for the Construction of Block Diagrams1989-04Textir_computersa
67 A wrapper generation tool for the creation of scriptable scientific applications1998Textir_uspace
68 The A3000: An asynchronous version of the R30001995-03Textir_computersa
69 Abstract interpretation and indeterminacy1984Textir_uspace
70 Abstract semantics for functional constraint programming1989Textir_uspace
71 Accelerated isosurface extraction in time-varying fields2000Textir_uspace
72 Accurate capacitance and resistance extraction1993-03Textir_computersa
73 Acoustic signal processing based on the short-time spectrum1976Textir_uspace
74 ACT: A DFT tool for self-timed circuits1997Textir_uspace
75 Active inspection and reverse engineering1993Textir_uspace
51 - 75 of 889