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