9842 search results - page 439 / 1969 » Compositional timing analysis |
192
click to vote
MOC
1998
15 years 6 months ago
1998
This paper contains error estimates for covolume discretizations of Maxwell’s equations in three space dimensions. Several estimates are proved. First, an estimate for a semi-dis...
167
click to vote
TC
1998
15 years 6 months ago
1998
—This paper suggests a technique for analyzing the performance of checkpointing schemes with task duplication. We show how this technique can be used to derive the average execut...
254
click to vote
ICDE
1995
IEEE
16 years 8 months ago
1995
IEEE
Active OODBMSs must provide e cient support for event detection, composition, and rule execution. Previous experience, reported here, building active capabilities on top of existi...
182
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
194
Voted
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...