15073 search results - page 372 / 3015 » Probabilistic algorithms for computing resultants |
167
click to vote
CLUSTER
2006
IEEE
15 years 11 months ago
2006
IEEE
Heterogeneous networks of computers have rapidly become a very promising commodity computing solution, expected to play a major role in the design of high performance computing sy...
163
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
Efficient computing the PageRank scores for a large web graph is actually one of the hot issues in Web-IR community. Recent researches propose to accelerate the computation, both ...
142
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
146
click to vote
DAC
2000
ACM
16 years 6 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
130
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...