4306 search results - page 106 / 862 » Timed Testing with TorX |
PARLE
1994
14 years 1 months ago
1994
Sparse matrix-vector multiplication forms the heart of iterative linear solvers used widely in scientific computations (e.g., finite element methods). In such solvers, the matrix-v...
SDM
2007
SIAM
13 years 11 months ago
2007
SIAM
We present a new approach for dealing with distribution change and concept drift when learning from data sequences that may vary with time. We use sliding windows whose size, inst...
ICAD
2004
13 years 11 months ago
2004
A system for the sonification of real-time financial data, currently in use by financial traders in five pilot projects, is described. Anecdotal feedback from the pilot projects s...
FTCS
1998
13 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...