601 - 625 of 724
Number of results to display per page
TitleDateTypeSetname
601 The set theory of arithmetic decomposition1989Textir_uspace
602 System performance advisor user guide1991Textir_uspace
603 Using metaprogramming to add persistence to CLOS1993Textir_uspace
604 Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification2002-01-22Textir_uspace
605 The virtual time machine1988Textir_uspace
606 A comparison of Jiazzi and AspectJ for feature-wise decomposition2004-03-23Textir_uspace
607 A personalized system for conversational recommendations2002-06-26Textir_uspace
608 Automatic mesh analysis technique by knowledge-based system1989Textir_uspace
609 Computer display of curved surfaces1971Textir_uspace
610 FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)1983Textir_uspace
611 Integrated specifications for abstract systems1977Textir_uspace
612 Interface and execution models in the fluke kernel1998Textir_uspace
613 Java operating systems: design and implementation1998Textir_uspace
614 Microkernels meet recursive virtual machines (draft. May 10, 1996))1996Textir_uspace
615 Moving into higher dimensions of geometric constraint solving1994Textir_uspace
616 Recognition of 2-D occluded objects and their manipulation by PUMA 560 robot1985Textir_uspace
617 Semiannual technical report transformation of ADA programs into silicon (1 Sept. 1981- 28 Feb. 1982)1982Textir_uspace
618 Using khazana to support distributed application development1999Textir_uspace
619 Video based animal behavior analysis2006-06-06Textir_uspace
620 A new local basis for designing with tensioned splines1985Textir_uspace
621 A shared memory algorithm and proof for the alternative construct in CSP1987Textir_uspace
622 An annotated bibligraphy of multisensor integration1988Textir_uspace
623 Application specific asynchronous microengines for efficient high-level control1997Textir_uspace
624 The flask security architecture: system support for diverse security policies1998Textir_uspace
625 HOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automata1992Textir_uspace
601 - 625 of 724