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