326 - 350 of 724
Number of results to display per page
TitleDateTypeSetname
326 Tiling the sphere with rational bezier patches1994Textir_uspace
327 Transparent interface between software and hardware versions of ADA compilation units1983Textir_uspace
328 Using a functional language and graph reduction to program multiprocessor machines or functional control of imperative programs1991Textir_uspace
329 Volume currents in forward and inverse MEG simulations using realistic head models2001Textir_uspace
330 A tour of the worm1989Textir_uspace
331 A dossier driven persistent objects facility1994Textir_uspace
332 Adaptive isocurves based rendering for freeform surfaces1992Textir_uspace
333 Anisotropic diffusion of surface normals for feature preserving surface reconstruction2003Textir_uspace
334 Anisotropic diffusion of surface normals for feature preserving surface reconstruction2003Textir_uspace
335 Backtracking in generalized control settings1977Textir_uspace
336 Case studies in symbolic model checking1994Textir_uspace
337 Decomposing the proof of correctness of pipelined microprocessors1998Textir_uspace
338 Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipeline1992Textir_uspace
339 Fast, effective BVH updates for dynamic ray-traced scenes using tree rotations2011Textir_uspace
340 Feature-based reverse engineering of mechanical parts1995Textir_uspace
341 Formally specifying memory consistency models and automatically generating executable specifications2001Textir_uspace
342 Higher-order image statistics for unsupervised, information-theoretic, adaptive, image filtering2005-04-15Textir_uspace
343 The method of generated solutions for numerical verification of ICE code2007Textir_uspace
344 Monte Carlo sensor networks2005-01-20Textir_uspace
345 Nemos: a framework for axiomatic and executable specifications of memory consistency models2003Textir_uspace
346 On synthesizing systolic arrays from recurrence equations with linear dependencies1986Textir_uspace
347 The schema coercion problem1997Textir_uspace
348 Strategies and Measures for Our Next Century Transcript1998-05-25ehsl_hhs
349 Systolic array synthesis by static analysis of program dependencies1986Textir_uspace
350 Towards a verification technique for large synchronous circuits1992Textir_uspace
326 - 350 of 724