210 search results - page 22 / 42 » Hob: A Tool for Verifying Data Structure Consistency |
EUROPAR
2001
Springer
14 years 5 days ago
2001
Springer
Distributed-system observation tools require an efficient data structure to store and query the partial-order of execution. Such data structures typically use vector timestamps to...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
ISMB
1996
13 years 9 months ago
1996
The native conformation of a protein, in a given environment, is determined entirely by the various interatomic interactions dictated by the amino acid sequence (1-3). We describe...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
BMCBI
2005
13 years 7 months ago
2005
Background: The integration of genomic information with quantitative experimental data is a key component of systems biology. An increasing number of microbial genomes are being s...