3256 search results - page 421 / 652 » Applications of Formal Methods to System Design and Verifica... |
158
click to vote
CIMAGING
2009
15 years 6 months ago
2009
The surface reflectance function of many common materials varies slowly over the visible wavelength range. For this reason, linear models with a small number of bases (5-8) are fr...
158
click to vote
SIGGRAPH
1994
ACM
15 years 9 months ago
1994
ACM
This paper describes a physically-based rendering system tailored to the demands of lighting design and architecture. The simulation uses a light-backwards ray-tracing method with...
138
click to vote
FCCM
2007
IEEE
15 years 12 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
177
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
182
click to vote
IFL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...