23590 search results - page 4232 / 4718 » Algorithm Performance Contest |
197
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
218
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
237
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
193
click to vote
IWCMC
2009
ACM
16 years 2 months ago
2009
ACM
This paper proposes a dynamic trust establishment protocol that enables the nodes of an ad hoc network to establish security associations among each other in a distributed and pee...
185
click to vote
LANC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we show how the proposed model in ITU-T Recommendation G.1070 “Opinion model for video-telephony applications” cannot model properly the perceptual video qualit...