Institutional Repository
 
Filters: Format: "application/pdf" Department: "Computing, School of"
76 - 100 of 1,117
Number of results to display per page
TitleDateTypeSetname
76 UCL+P - a persistent common lisp1994-08Textir_computersa
77 Static inference in applicative languages1985-03Textir_computersa
78 Load balancing and fault tolerance in applicative systems1985-08Textir_computersa
79 A framework for hardware design analysis and synthesis using VHDL1993-03Textir_computersa
80 A pipelined architecture for ray tracing1994-06Textir_computersa
81 Intersurface continuity of B-spline based solid models1988-08Textir_computersa
82 From Algebraic Specifications to Correct VLSI Systems1986-12Textir_computersa
83 Modeling the Motion of Human Muscle Systems with Computer Graphics1990-08Textir_computersa
84 Implementation of SCMAID: A Microprogrammer's Assistant for Concurrent Soft Controlled Microarchitectures1985-04Textir_computersa
85 Accurate capacitance and resistance extraction1993-03Textir_computersa
86 Computer-Aided Geometric Design Based Three-Dimensional Object Representations For Computer Vision1988-12Textir_computersa
87 Resource allocation in an experimental LISP compiler1986-08Textir_computersa
88 Constraints as a Paradigm for Computing1993-03Textir_computersa
89 Sisyphus, an environment for simulation1986-12Textir_computersa
90 KIT : an experimental solid modelling system1985-06Textir_computersa
91 A visual Lisp debugging environment1989-12Textir_computersa
92 Design and implementation of a portable shared memory server1994-12Textir_computersa
93 TICL : a Type Inference System for Common Lisp1989-03Textir_computersa
94 Moped (a portable debugger)1988-06Textir_computersa
95 A shading method for computer generated images1988-06Textir_computersa
96 INSTED : an integrated structured tiling editor for very large scale integrated circuit design1986-06Textir_computersa
97 Parallel Split-Level Relaxation1988-08Textir_computersa
98 Feature-based reverse engineering1994-12Textir_computersa
99 An asynchronous floating point unit1994-08Textir_computersa
100 Approximating data with parametric B-splines for computer aided design1985-12Textir_computersa
76 - 100 of 1,117