898 search results - page 37 / 180 » An Analysis of Permutations in Arrays |
165
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarrays were first developed to assess gene expression but are now also used to map protein-binding sites and to assess allelic variation between individuals. Rega...
184
click to vote
SPIN
2009
Springer
16 years 22 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
159
click to vote
SC
1994
ACM
15 years 10 months ago
1994
ACM
Most current data dependence tests cannot handle loop bounds or array subscripts that are symbolic, nonlinear expressions e.g. Ani+j, where 0 j n. In this paper, we describe a d...
150
click to vote
CATS
2006
15 years 7 months ago
2006
Some combinatorial generation problems can be broken into subproblems for which loopless algorithms already exist. We discuss means by which loopless algorithms can be fused to pr...
127
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Protocol sequences are used for channel access in the collision channel without feedback. Each user accesses the channel according to a deterministic zero-one pattern, called the p...