Sciweavers

2474 search results - page 353 / 495
» Solving Problems on Parallel Computers by Cellular Programmi...
Sort
View
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 5 months ago
Exact Cover with light
We suggest a new, unconventional, way for solving the YES/NO version of the Exact Cover problem by using the massive parallelism of light. The idea is to build a device which can ...
Mihai Oltean, Oana Muntean
PVM
2005
Springer
15 years 10 months ago
Cooperative Write-Behind Data Buffering for MPI I/O
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Le...
SEKE
2007
Springer
15 years 11 months ago
Improving Separation of Concerns in the Development of Scientific Applications
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
Seyed Masoud Sadjadi, J. Martínez, T. Soldo...
IEEEPACT
2006
IEEE
15 years 11 months ago
An empirical evaluation of chains of recurrences for array dependence testing
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
Johnnie Birch, Robert A. van Engelen, Kyle A. Gall...
CONCUR
2011
Springer
14 years 4 months ago
Reasoning about Threads with Bounded Lock Chains
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
Vineet Kahlon