551 - 575 of 676
Number of results to display per page
TitleDateTypeSetname
551 Design and evaluation of the rollback chip: special purpose hardware for time warp1988Textir_uspace
552 EGOR: design, development, implementation an entry in the 1994 AAAI robot competition1994Textir_uspace
553 Formalizing the Java Memory Model for multithreaded program correctness and optimization2002-04-02Textir_uspace
554 GIST: an interactive, GPU-based level set segmentation tool for 3D medical images2004-02-27Textir_uspace
555 Graphical man/machine communications: June 19721972-06Textir_uspace
556 Image recognition using generalized correlation1977Textir_uspace
557 Khazana: a flexible wide area data store2003-10-13Textir_uspace
558 Memory safety and untrusted extensions for TinyOS2006-01-01Textir_uspace
559 Memory safety and untrusted extensions for TinyOS2006-06-30Textir_uspace
560 Metamusing on object persistence1992Textir_uspace
561 Middleware support for locality-aware wide area replication2004-11-18Textir_uspace
562 Noise suppression methods for robust speech processing (1 Oct. 1979- 31 Mar. 1980)1980Textir_uspace
563 Performance measurements of distributed simulation strategies1987Textir_uspace
564 The set theory of arithmetic decomposition1989Textir_uspace
565 System performance advisor user guide1991Textir_uspace
566 Using metaprogramming to add persistence to CLOS1993Textir_uspace
567 Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification2002-01-22Textir_uspace
568 A comparison of Jiazzi and AspectJ for feature-wise decomposition2004-03-23Textir_uspace
569 A personalized system for conversational recommendations2002-06-26Textir_uspace
570 Computer display of curved surfaces1971Textir_uspace
571 FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)1983Textir_uspace
572 Interface and execution models in the fluke kernel1998Textir_uspace
573 Java operating systems: design and implementation1998Textir_uspace
574 Microkernels meet recursive virtual machines (draft. May 10, 1996))1996Textir_uspace
575 Moving into higher dimensions of geometric constraint solving1994Textir_uspace
551 - 575 of 676