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