6800 search results - page 1207 / 1360 » Testing with Functions as Specifications |
SIGMETRICS
2010
ACM
13 years 8 months ago
2010
ACM
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...
SOFTVIS
2010
ACM
13 years 8 months ago
2010
ACM
A programs memory system performance is one of the key determinants of its overall performance. Lack of understanding of a programs memory system behavior can lead to performance ...
AIEDAM
2007
13 years 8 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
BMCBI
2010
13 years 8 months ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
BMCBI
2010
13 years 8 months ago
2010
Background: Recent advances in proteomics technologies such as SELDI-TOF mass spectrometry has shown promise in the detection of early stage cancers. However, dimensionality reduc...