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