40 search results - page 2 / 8 » A Scalable Low Discrepancy Point Generator for Parallel Comp... |
MCS
2007
Springer
13 years 4 months ago
2007
Springer
Mesh generation is a critical step in high fidelity computational simulations. High-quality and high-density meshes are required to accurately capture the complex physical phenome...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Wireless sensor networks are small, inexpensive and flexible computational platforms, that have found popular applications in various areas including environmental monitoring, he...
EUROPAR
2009
Springer
13 years 11 months ago
2009
Springer
The availability of large-scale computing platforms comprised of tens of thousands of multicore processors motivates the need for the next generation of highly scalable sparse line...
FMCAD
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...