1528 search results - page 26 / 306 » Performance Assertion Checking |
131
click to vote
NSDI
2007
15 years 7 months ago
2007
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
134
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
155
click to vote
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
149
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
140
Voted
PDPTA
2000
15 years 6 months ago
2000
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...