3356 search results - page 304 / 672 » Determining Consensus Numbers |
119
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
117
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
We present an algorithm for mining tree-shaped patterns in a large graph. Novel about our class of patterns is that they can contain constants, and can contain existential nodes w...
167
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Frequent-pattern mining has been studied extensively on scalable methods for mining various kinds of patterns including itemsets, sequences, and graphs. However, the bottleneck of...
123
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Interconnect delay has become a critical factor in determining the performance of integrated circuits. Routing and buffering are powerful means of improving the circuit speed and ...
127
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
The loss of previously established genes has been proposed as a major force in evolutionary change. While the sequencing of many new species offers the opportunity to identify case...