4306 search results - page 241 / 862 » Timed Testing with TorX |
106
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
114
Voted
AICCSA
2001
IEEE
15 years 4 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
92
Voted
WSC
2008
15 years 3 months ago
2008
We develop and evaluate a semiparametric method to estimate the mean-value function of a nonhomogeneous Poisson process (NHPP) using one or more process realizations observed over...
116
Voted
BILDMED
2008
15 years 2 months ago
2008
In this paper a framework for the segmentation of cardiac MR image sequences using spatio-temporal appearance models is presented. The method splits the 4D space into 2 separate su...
FLAIRS
2003
15 years 2 months ago
2003
This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the...