1528 search results - page 35 / 306 » Performance Assertion Checking |
ECIR
2010
Springer
13 years 10 months ago
2010
Springer
Performance prediction has gained increasing attention in the IR field since the half of the past decade and has become an established research topic in the field. The present work...
IJAIT
2006
13 years 8 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
ACSD
2001
IEEE
14 years 14 days ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper presents a novel approach that performs post-processing for stereo correspondence. We improve the performance of stereo correspondence by performing consistency check a...