205 search results - page 35 / 41 » Independent Additive Heuristics Reduce Search Multiplicative... |
CGF
2007
13 years 7 months ago
2007
Recently, several real-time soft shadow algorithms have been introduced which all compute a single shadow map and use its texels to obtain a discrete scene representation. The res...
EMSOFT
2003
Springer
14 years 20 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
— The phenomenal growth of the Internet in the last decade and society’s increasing dependence on it has brought along, a flood of security attacks on the networking and compu...
CLUSTER
2009
IEEE
13 years 5 months ago
2009
IEEE
GPUs have recently evolved into very fast parallel co-processors capable of executing general purpose computations extremely efficiently. At the same time, multi-core CPUs evolutio...
DEXA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Bitmap indices are popular multi-dimensional data structures for accessing read-mostly data such as data warehouse (DW) applications, decision support systems (DSS) and o...