4306 search results - page 163 / 862 » Timed Testing with TorX |
FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
GCB
2009
Springer
14 years 5 months ago
2009
Springer
: A wealth of time series of microarray measurements have become available over recent years. Several two-sample tests for detecting differential gene expression in these time seri...
ICANN
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper, we investigate the application of adaptive ensemble models of Extreme Learning Machines (ELMs) to the problem of one-step ahead prediction in (non)stationa...
IFM
2005
Springer
14 years 3 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
DFT
2003
IEEE
14 years 3 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...