4155 search results - page 317 / 831 » External Memory Algorithms |
258
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
181
click to vote
CGO
2009
IEEE
16 years 2 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
165
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— A series of kinodynamic sampling-based planners have appeared over the last decade to deal with high dimensional problems for robots with realistic motion constraints. Yet, of...
172
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
202
click to vote
ASP
2005
Springer
16 years 21 days ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...