1993 search results - page 169 / 399 » Analysis of the Effectiveness of G3PARM Algorithm |
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
LCN
2006
IEEE
15 years 4 months ago
2006
IEEE
Security has become a major concern for many realworld applications for wireless sensor networks (WSN). In this domain, many security solutions have been proposed. Usually, all th...
SI3D
2006
ACM
15 years 4 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
87
Voted
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The emerging H.264 advanced video coding (H.264/AVC) standard achieves significant improvement in coding efficiency compared with previous standards such as MPEG-2 and H.263. On...
RT
2004
Springer
15 years 3 months ago
2004
Springer
With the advancements in realtime ray tracing and new global illumination algorithms we are now able to render the most important illumination effects at interactive rates. One of...