Institutional Repository
 
Filters: Department: "Computing, School of" Year Start: 1970
276 - 300 of 1,082
Number of results to display per page
TitleDateTypeSetname
276 DAG-based software frameworks for PDEs2012-01-01Textir_uspace
277 Data and range-bounded polynomials in ENO methods2012-01-01Textir_uspace
278 Data distributed, parallel algorithm for ray-traced volume rendering1993Textir_uspace
279 Data distributed, parallel algorithm for ray-traced volume rendering1993Textir_uspace
280 Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems1978Textir_uspace
281 Data structures and system support for a graphical programming language editing and program development environment1983-12Textir_computersa
282 Dataflow computers: a tutorial and survey1980Textir_uspace
283 DataStations: ubiquitous transient storage for mobile users2003-11-14Textir_uspace
284 Decomposing the proof of correctness of pipelined microprocessors1998Textir_uspace
285 Deformation embedding for point-based elastoplastic simulation2014-01-01Textir_uspace
286 Denotational models for parallel programs with indeterminate operators1977Textir_uspace
287 Deriving abstract transfer functions for analyzing embedded software2006-01-01Textir_uspace
288 Deriving efficient cache coherence protocols through refinement1997Textir_uspace
289 Description of functionality of the impulse memory controller2001Textir_uspace
290 Design a DRAM backend for the impulse memory system2000Textir_uspace
291 Design alternatives for shared memory multiprocessors1998Textir_uspace
292 Design and evaluation of the rollback chip: special purpose hardware for time warp1988Textir_uspace
293 Design and implementation of a portable shared memory server1994-12Textir_computersa
294 Design and implementation of a relational data base system for a minicomputer1977Textir_uspace
295 The design and implementation of an OR-parallel logic programming system1987-08Textir_computersa
296 Design and validation of a simultaneous multi-threaded DLX processor1999Textir_uspace
297 Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design1990Textir_uspace
298 Design for a micromodular self-timed system, A1972-03Textir_computersa
299 Design goals of an editor for storage logic arrays1981-06Textir_computersa
300 Design of 2D time-varying vector fields2012-01-01Textir_uspace
276 - 300 of 1,082