319 search results - page 1 / 64 » An optimal and scalable parallelization of the two-list |
ICFEM
2009
Springer
13 years 3 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
PLDI
1993
ACM
13 years 9 months ago
1993
ACM
Data locality is critical to achievinghigh performance on large-scale parallel machines. Non-local data accesses result in communication that can greatly impact performance. Thus ...
ICMCS
2009
IEEE
13 years 3 months ago
2009
IEEE
Parallel scalability allows an application to efficiently utilize an increasing number of processing elements. In this paper we explore a design space for parallel scalability for...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
Consider any known sequential algorithm for matrix multiplication over an arbitrary ring with time complexity O N , where 2 3. We show that such an algorithm can be parallelize...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer