Institutional Repository
 
Filters: Department: "Computing, School of"
826 - 850 of 1,117
Number of results to display per page
TitleDateTypeSetname
826 Provenance for computational tasks: a survey2008-05Textir_uspace
827 Provenance for visualizations: reproducibility and beyond2007-09Textir_uspace
828 Provenance in scientific workflow systems2007Textir_uspace
829 Proxy chain method and its application to scientific visualization2006Textir_uspace
830 PRT--a high quality image synthesis system for B-spline surfaces1988-12Textir_computersa
831 psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker1999Textir_uspace
832 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Imageir_uspace
833 Quantifying the relationship between the power delivery network and architectural policies in a 3D-stacked memory device2013-01-01Textir_uspace
834 Querying and creating visualizations by analogy2007-11Textir_uspace
835 Querying the web2000Textir_uspace
836 Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system2012-01-01Textir_uspace
837 Radioptimization - Goal based rendering1993Textir_uspace
838 Radix-16 signed-digit division1988Textir_uspace
839 Random testing of interrupt-driven software2005-01-01Textir_uspace
840 Random walk based heuristic algorithms for distributed memory model checking2003-01-29Textir_uspace
841 Range data processing: representation of surfaces by edges1985Textir_uspace
842 Re-visiting the performance impact of microarchitectural floorplanning2006Textir_uspace
843 Reaction-diffusion patterns in smart sensor networks2003-11-05Textir_uspace
844 Reaction-diffusion processes as a computational paradigm2000Textir_uspace
845 Reactive Behavior Design Tools1992-01Textir_computersa
846 Real-time measurement of multiple three-dimensional positions1973-06Textir_computersa
847 Real-time measurement of multiple three-dimensional positions1973-06Textir_computersa
848 Realizing burstmode circuits via STG speed independent synthesis1997Textir_uspace
849 Received signal strength based bearing-only robot navigation in a sensor network field2014-01-01Textir_uspace
850 Recent developments in parallel rendering1994Textir_uspace
826 - 850 of 1,117