13500 search results - page 2482 / 2700 » Improved analysis of D |
175
click to vote
AMAI
2004
Springer
16 years 1 days ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...
184
click to vote
EUROPAR
2004
Springer
16 years 13 hour ago
2004
Springer
The BlueGene/L supercomputer will consist of 65,536 dual-processor compute nodes interconnected by two high-speed networks: a three-dimensional torus network and a tree topology ne...
203
click to vote
W2GIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
165
click to vote
ACSC
2003
IEEE
15 years 12 months ago
2003
IEEE
Grid computing is becoming an important framework for enabling applications to utilize widely distributed collections of computational and data resources, however current grid sof...
202
click to vote
CASES
2003
ACM
15 years 12 months ago
2003
ACM
Bank locality can be defined as localizing the number of load/store accesses to a small set of memory banks at a given time. An optimizing compiler can modify a given input code t...