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