4305 search results - page 83 / 861 » The Test of Time |
171
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
236
click to vote
ECCC
2011
15 years 27 days ago
2011
Polynomial identity testing (PIT) problem is known to be challenging even for constant depth arithmetic circuits. In this work, we study the complexity of two special but natural ...
163
click to vote
ATS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a new static test set compaction method based on a careful examination of attributes of fault coverage curves. Our method is based on two key ideas: 1 fault-list and te...
146
click to vote
RTS
2002
15 years 5 months ago
2002
In real-time computing systems, timing constraints imposed on application tasks are typically guaranteed off line using schedulability tests based on
159
click to vote
FSS
2010
15 years 3 months ago
2010
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...