451 - 475 of 723
Number of results to display per page
TitleDateTypeSetname
451Appendices 1.9: Integrated Information technology strategic planir_eua
452The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
453The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
454A cell set for self-timed design using actel FPGAs1991Textir_uspace
455A collective approach to harness idle resources2008Textir_uspace
456A communication-ordered task graph allocation algorithm1992Textir_uspace
457A comparison of online superpage promotion mechanisms1999Textir_uspace
458A framework for module-based language processors1993Textir_uspace
459ADA to silicon transformations: the outline of a method1982Textir_uspace
460An experimental display programming language for the PDP-10 computer1970Textir_uspace
461An interactive N-Dimensional constraint system1994Textir_uspace
462An optimal, parallel discrete relaxation algorithm and architecture (Revised January 1988 and August 1989)1988Textir_uspace
463Automating the design of embedded domain specific accelerators2008Textir_uspace
464B-splines for physically-based rendering2002-01-09Textir_uspace
465Cascade: a hardware alternative to bignums1989Textir_uspace
466Case study: an evaluation of user-assisted hierarchical watershed segmentation2004-02-27Textir_uspace
467CBCV: A CAD-based vision system1990Textir_uspace
468Denotational models for parallel programs with indeterminate operators1977Textir_uspace
469Deriving efficient cache coherence protocols through refinement1997Textir_uspace
470Design alternatives for shared memory multiprocessors1998Textir_uspace
471Ensuring prolonged participation and deterring cheating behaviors in a collective2008Textir_uspace
472Expressive modular linking for object-oriented languages2002-10-11Textir_uspace
473Flexible consistency for wide area peer replication2004-11-18Textir_uspace
474Flexible multi-policy scheduling based on CPU inheritance1996Textir_uspace
475Geometric and arithmetic culling methods for entire ray packets2006-08-16Textir_uspace
451 - 475 of 723