Institutional Repository
 
Filters: Department: "Computing, School of"
251 - 275 of 659
Number of results to display per page
TitleDateTypeSetname
251 Transpline curve representation system1980Textir_uspace
252 Verification of MPI programs using Spin2004Textir_uspace
253 Verifying a virtual component interface-based PCI bus wrapper with FormalCheck2001-06-14Textir_uspace
254 Visible surface algorithms for quadric patches1970Textir_uspace
255 Graphical man/machine communications: December 19721972-12Textir_uspace
256 A dynamic framwork for intelligent inspection1992Textir_uspace
257 A survey on sensor classifications for industrial applications1995Textir_uspace
258 A transformational approach to asynchronous high-level synthesis1993Textir_uspace
259 A unifying framework for tolerance analysis in sensing, design, and manufacturing1994Textir_uspace
260 Abstract interpretation and indeterminacy1984Textir_uspace
261 An interior ellipsoid algorithm for fixed points1998Textir_uspace
262 Application of the saber method for improved spectral analysis of noisy speech1977Textir_uspace
263 Automatic rapid prototyping of semi-custom VLSI circuits using FPGAs1994Textir_uspace
264 Cascade: hardware for high/variable precision arithmetic1989Textir_uspace
265 Compiling distributed C++1994Textir_uspace
266 CONSIM: a converstional simulation language implemented through interpretive control self-modeling1977Textir_uspace
267 Constraint objects - integrating constraint definition and interaction1992Textir_uspace
268 Cramer-Rao bounds for nonparametric surface reconstruction from range data2003-04-18Textir_uspace
269 Description of functionality of the impulse memory controller2001Textir_uspace
270 Direct deposit: a basic user-level protocol for carpet clusters?1995Textir_uspace
271 Explicit and persistent knowledge in engineering drawing analysis2003-10-10Textir_uspace
272 Implementing multi-sensor systems in a functional language1984Textir_uspace
273 The key node method: a highly-parallel alpha-beta algorithm1983Textir_uspace
274 Lead field basis for FEM source localization1999Textir_uspace
275 Modeling of call - by - need and stream primitives using CCS1982Textir_uspace
251 - 275 of 659