8874 search results - page 1521 / 1775 » A New Implementation of Automath |
204
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Abstract—GPUs have recently been used to accelerate dataparallel applications for they provide easier programmability and increased generality while maintaining the tremendous me...
201
click to vote
NA
2010
15 years 5 months ago
2010
In the numerical solution of ODEs, it is now possible to develop efficient techniques that will deliver approximate solutions that are piecewise polynomials. The resulting methods...
185
click to vote
PVLDB
2010
15 years 5 months ago
2010
The performance of external sorting using merge sort is highly dependent on the length of the runs generated. One of the most commonly used run generation strategies is Replacemen...
185
click to vote
TON
2010
15 years 5 months ago
2010
—p-Cycles have been proposed for preprovisioned 1 : N protection in optical mesh networks. Although the protection circuits are preconfigured, the detection of failures and the ...
236
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Search nodes are single-purpose components of large Web search engines and their efficient implementation is critical to sustain thousands of queries per second and guarantee indi...