Institutional Repository
 
Filters: Department: "Computing, School of" Year End: 2006
251 - 275 of 889
Number of results to display per page
TitleDateTypeSetname
251 Deriving abstract transfer functions for analyzing embedded software2006-01-01Textir_uspace
252 Deriving efficient cache coherence protocols through refinement1997Textir_uspace
253 Description of functionality of the impulse memory controller2001Textir_uspace
254 Design a DRAM backend for the impulse memory system2000Textir_uspace
255 Design alternatives for shared memory multiprocessors1998Textir_uspace
256 Design and evaluation of the rollback chip: special purpose hardware for time warp1988Textir_uspace
257 Design and implementation of a portable shared memory server1994-12Textir_computersa
258 Design and implementation of a relational data base system for a minicomputer1977Textir_uspace
259 The design and implementation of an OR-parallel logic programming system1987-08Textir_computersa
260 Design and validation of a simultaneous multi-threaded DLX processor1999Textir_uspace
261 Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design1990Textir_uspace
262 Design for a micromodular self-timed system, A1972-03Textir_computersa
263 Design goals of an editor for storage logic arrays1981-06Textir_computersa
264 Design of a parallel vector access unit for SDRAM memory systems1999Textir_uspace
265 Design of a Self-Timed, Pipelined, Floating Point Multiplier in Gallium Arsenide1994-06Textir_computersa
266 The design of object-oriented meta-architectures for programming languages1994Textir_uspace
267 Design-space exploration of most-recent-only communication using myrinet on SGI ccNUMA architectures1999Textir_uspace
268 Designing information-preserving mapping schemes for XML2005Textir_uspace
269 Detecting ambiguities: an optimistic approach to robustness problems in computational geometry1990Textir_uspace
270 The Development of a Virtual Database and an Evaluation of Techniques to Improve the Performance of a Virtual Database1992-03Textir_computersa
271 DFT for fast testing of self-timed control circuits1995Textir_uspace
272 DI - An object-oriented user interface toolbox for modula-2 applications1990Textir_uspace
273 Digital color image processing and psychophysics within the framework of a human visual model1977Textir_uspace
274 Digital Image Deblurring by Nonlinear Homomorphic Filtering1974-08Textir_computersa
275 Digital image deblurring by nonlinear homomorphic flltering1974-08Textir_computersa
251 - 275 of 889