7271 search results - page 1450 / 1455 » The high performance storage system |
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
ESIAT
2009
IEEE
13 years 5 months ago
2009
IEEE
Shortcut nitrification was reported to be technically feasible and economically favourable, especially when sewages with high ammonium concentrations or low C/N ratios are treated....
ICUMT
2009
13 years 5 months ago
2009
Multicast conferencing is a rapidly-growing area of Internet use. Audio, video and other media such as shared whiteboard data can be distributed efficiently between groups of confe...
BMCBI
2010
13 years 2 months ago
2010
Background: Linking high-throughput experimental data with biological networks is a key step for understanding complex biological systems. Currently, visualization tools for large...
PAMI
2011
13 years 2 months ago
2011
—The problem of matching a forensic sketch to a gallery of mug shot images is addressed in this paper. Previous research in sketch matching only offered solutions to matching hig...