Sciweavers

2871 search results - page 277 / 575
» An Auxiliary Variational Method
Sort
View
ITC
2000
IEEE
68views Hardware» more  ITC 2000»
15 years 11 months ago
Current ratios: a self-scaling technique for production IDDQ testing
The use of a single pass/fail threshold for IDDQ testing is unworkable as chip background currents increase to the point where they exceed many defect currents. This paper describ...
Peter C. Maxwell, Pete O'Neill, Robert C. Aitken, ...
PG
1999
IEEE
15 years 11 months ago
Boundary Determination for Trivariate Solids
The trivariate tensor-product B-spline solid is a direct extension of the B-spline patch and has been shown to be useful in the creation and visualization of free-form geometric s...
Kenneth I. Joy, Mark A. Duchaineau
177
Voted
IFL
1997
Springer
136views Formal Methods» more  IFL 1997»
15 years 10 months ago
Fully Persistent Graphs - Which One To Choose?
Functional programs, by nature, operate on functional, or persistent, data structures. Therefore, persistent graphs are a prerequisite to express functional graph algorithms. In th...
Martin Erwig
RT
1997
Springer
15 years 10 months ago
An Empirical Comparison of Progressive and Wavelet Radiosity
Abstract. This paper presents a comparison of basic progressive and wavelet radiosity algorithms. Several variants of each algorithm were run on a set of scenes at several paramete...
Andrew J. Willmott, Paul S. Heckbert
182
Voted
LOPSTR
1994
Springer
15 years 10 months ago
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
Annalisa Bossi, Sandro Etalle