2935 search results - page 546 / 587 » An Integrated Approach to High Integrity Software Verificati... |
138
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...
158
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
151
click to vote
FGCS
2006
15 years 4 months ago
2006
Collaborative visualization of large-scale datasets across geographically distributed sites is becoming increasingly important for Earth Sciences. Not only does it enhance our und...
140
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
137
click to vote
TPDS
2002
15 years 3 months ago
2002
This paper presents a new distributed disk-array architecture for achieving high I/O performance in scalable cluster computing. In a serverless cluster of computers, all distribute...