27 search results - page 6 / 6 » Niobe: A practical replication protocol |
106
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
BMCBI
2006
15 years 1 months ago
2006
Background: DNA microarray technology provides a powerful tool for characterizing gene expression on a genome scale. While the technology has been widely used in discovery-based m...