3584 search results - page 343 / 717 » Parallel Computing of Thermoelasticity Problems |
131
click to vote
CRV
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
101
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
132
Voted
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
118
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the problem of broadcasting a large message in a large scale distributed platform. The message must be sent from a source node, with the help of the receiving peers whi...
138
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can...