4860 search results - page 740 / 972 » SNPs Problems, Complexity, and Algorithms |
159
click to vote
ISSAC
2007
Springer
16 years 19 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
190
click to vote
KI
2007
Springer
16 years 19 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
181
click to vote
IAT
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, we consider the problem of dynamic lightpath protection in survivable WDM networks with single link failure model. Our work concerns in how to dynamically determine...
191
click to vote
FPGA
2005
ACM
16 years 1 days ago
2005
ACM
Floating-point Sparse Matrix-Vector Multiplication (SpMXV) is a key computational kernel in scientific and engineering applications. The poor data locality of sparse matrices sig...
169
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...