981 search results - page 153 / 197 » Semantics-aware trace analysis |
116
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ISSAC
2004
Springer
15 years 7 months ago
2004
Springer
Many polynomial factorization algorithms rely on Hensel lifting and factor recombination. For bivariate polynomials we show that lifting the factors up to a precision linear in th...
MWCN
2004
Springer
15 years 7 months ago
2004
Springer
Previously, we have analyzed the short-term fairness of the 802.11 DCF (Distributed Coordination Function) access method in the case of a network with two hosts. In this paper we e...
131
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
110
click to vote
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...