16091 search results - page 3171 / 3219 » Solving |
CLUSTER
2009
IEEE
13 years 6 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...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
DLOG
2009
13 years 6 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
EGH
2009
Springer
13 years 6 months ago
2009
Springer
High fidelity rendering via ray tracing requires tracing incoherent rays for global illumination and other secondary effects. Recent research show that the performance benefits fr...
FAST
2009
13 years 6 months ago
2009
We present sparse indexing, a technique that uses sampling and exploits the inherent locality within backup streams to solve for large-scale backup (e.g., hundreds of terabytes) t...