426 - 450 of 723
Number of results to display per page
TitleDateTypeSetname
426 Robust solid modeling by avoiding redundancy for manifold objects in boundary representation1993Textir_uspace
427 Runtime aspect weaving through metaprogramming2001Textir_uspace
428 Selected fixed point problems and algorithms2007Textir_uspace
429 Sensory information processing (1 July 1975 - 31 December 1975)1977Textir_uspace
430 Static analysis techniques for the synthesis of efficient asynchronous circuits1991Textir_uspace
431 Verification of systolic arrays: a stream functional approach1985Textir_uspace
432 A category theoretic formalism for abstract interpretation1984Textir_uspace
433 A correctness criterion for asynchronous circuit validation and optimization1992Textir_uspace
434 A dynamic recursive structure for intelligent exploration1992Textir_uspace
435 A fast iterative method for a class of Hamilton-Jacobi equations on parallel systems2007Textir_uspace
436 Artistic vision: painterly rendering using computer vision techniques2000Textir_uspace
437 Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems1978Textir_uspace
438 Design and validation of a simultaneous multi-threaded DLX processor1999Textir_uspace
439 Detecting ambiguities: an optimistic approach to robustness problems in computational geometry1990Textir_uspace
440 Geometric reasoning for map-based localization1996Textir_uspace
441 Hidden curve removal for free form surfaces1989Textir_uspace
442 Implementing functional programs using mutable abstract data types1987Textir_uspace
443 Integrated information technology strategic plan2005-10-10Textir_eua
444 Khazana an infrastructure for building distributed services1998Textir_uspace
445 Khazana An infrastructure for building distributed services1998Textir_uspace
446 OMOS - An object server for program execution1992Textir_uspace
447 Packet-based whitted and distribution ray tracing2006-11-10Textir_uspace
448 Performance analysis and optimization of asynchronous circuits1994Textir_uspace
449 Random walk based heuristic algorithms for distributed memory model checking2003-01-29Textir_uspace
450 STORY: A hierarchical animation and storyboarding system for alpha-11993Textir_uspace
426 - 450 of 723