8828 search results - page 236 / 1766 » Formal methods in practice |
132
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
We addressed two issues concerning the practical aspects of optimally scheduling web advertising proposed by Langheinrich et al. [5], which scheduling maximizes the total number o...
178
click to vote
DCC
2005
IEEE
16 years 5 months ago
2005
IEEE
Minimum-entropy decoding is a universal decoding algorithm used in decoding block compression of discrete memoryless sources as well as block transmission of information across di...
163
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
Statistical static timing analysis (SSTA) has emerged as an essential tool for nanoscale designs. Monte Carlo methods are universally employed to validate the accuracy of the appr...
180
click to vote
AIME
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. The Regional Healthcare Agency (ASL) of Pavia has been maintaining a central data repository which stores healthcare data about the population of Pavia area. The analysis...
184
click to vote
RT
2004
Springer
15 years 11 months ago
2004
Springer
Volumetric light transport effects are significant for many materials like skin, smoke, clouds, snow or water. In particular, one must consider the multiple scattering of light w...