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