6897 search results - page 363 / 1380 » Parallelization of Modular Algorithms |
130
Voted
ENTCS
2007
15 years 3 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
217
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
142
Voted
DAM
2010
15 years 3 months ago
2010
We introduce H -join decompositions of graphs, indexed by a fixed bipartite graph H . These decompositions are based on a graph operation that we call H -join, which adds edges be...
123
Voted
INFOSCALE
2006
ACM
15 years 9 months ago
2006
ACM
Abstractā With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
123
click to vote
CSIE
2009
IEEE
15 years 8 months ago
2009
IEEE
We review some recent progress in improving the speed of electron microscope tomography through highly parallel algorithms implemented on parallel computers, clusters and graphics...