576 - 600 of 724
Number of results to display per page
TitleDateTypeSetname
576 Transformation of Ada program units into silicon (Fourth Semiannual technical report 83 Apr 1 - 83 Nov 15)1983Textir_uspace
577 Transformation of ADA programs into silicon (82 Mar. 1 - 82 Oct. 31)1982Textir_uspace
578 A characterization of parallel systems1980Textir_uspace
579 A compositional model for synchronous VLSI systems1987Textir_uspace
580 A generic operational memory model specification framework for multithreaded program verification2003Textir_uspace
581 A graphical environment and applications for discrete event and hybrid systems in robotics and automation1994Textir_uspace
582 A programmer's guide to PDP-10 euler1970Textir_uspace
583 Alpha-beta pruning on evolving game trees1979Textir_uspace
584 An O(n) time discrete relaxation architecture for real-time processing of the consistent labeling problem1986Textir_uspace
585 Avalanche: A communication and memory architecture for scalable parallel computing1995Textir_uspace
586 Design a DRAM backend for the impulse memory system2000Textir_uspace
587 Design and evaluation of the rollback chip: special purpose hardware for time warp1988Textir_uspace
588 EGOR: design, development, implementation an entry in the 1994 AAAI robot competition1994Textir_uspace
589 Formalizing the Java Memory Model for multithreaded program correctness and optimization2002-04-02Textir_uspace
590 GIST: an interactive, GPU-based level set segmentation tool for 3D medical images2004-02-27Textir_uspace
591 Graphical man/machine communications: June 19721972-06Textir_uspace
592 Image recognition using generalized correlation1977Textir_uspace
593 Khazana: a flexible wide area data store2003-10-13Textir_uspace
594 Memory safety and untrusted extensions for TinyOS2006-01-01Textir_uspace
595 Memory safety and untrusted extensions for TinyOS2006-06-30Textir_uspace
596 Metamusing on object persistence1992Textir_uspace
597 Middleware support for locality-aware wide area replication2004-11-18Textir_uspace
598 Noise suppression methods for robust speech processing (1 Oct. 1976 - 31 March 1977)1977Textir_uspace
599 Noise suppression methods for robust speech processing (1 Oct. 1979- 31 Mar. 1980)1980Textir_uspace
600 Performance measurements of distributed simulation strategies1987Textir_uspace
576 - 600 of 724