4306 search results - page 128 / 862 » Timed Testing with TorX |
GECCO
2010
Springer
14 years 3 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
JAMDS
2002
13 years 10 months ago
2002
Under traditional cointegration tests, some eligible I(1) time series systems Xt, that are not cointegrated over a given time period, say (0, T1], sometimes test as cointegrated ov...
ICCV
2001
IEEE
15 years 5 days ago
2001
IEEE
We develop an efficient algorithm to track point features supported by image patches undergoing affine deformations and changes in illumination. The algorithm is based on a combin...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
ECBS
2010
IEEE
14 years 5 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...