1594 search results - page 96 / 319 » An Algorithm to Compute Collusion Paths |
130
Voted
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
136
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
138
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Structure prediction of membrane proteins is still a challenging computational problem. Hidden Markov models (HMM) have been successfully applied to the problem of pre...
114
click to vote
DIS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Information networks, such as social networks and that extracted from bibliographic data, are changing dynamically over time. It is crucial to discover time-evolving comm...
140
click to vote
PDP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper examines the scalable parallel implementation of QR factorization of a general matrix, targeting SMP and multi-core architectures. Two implementations of algorithms-by-...