4306 search results - page 89 / 862 » Timed Testing with TorX |
NIPS
2003
13 years 9 months ago
2003
We consider the question of predicting nonlinear time series. Kernel Dynamical Modeling (KDM), a new method based on kernels, is proposed as an extension to linear dynamical model...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
ENTCS
2006
13 years 7 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
VTS
2007
IEEE
14 years 2 months ago
2007
IEEE
When a test set size is larger than desired, some patterns must be dropped. This paper presents a systematic method to reduce test set size; the method reorders a test set using t...
ISPAN
1997
IEEE
13 years 12 months ago
1997
IEEE
Loop unrolling is one of the most promising parallelization techniques, because the nature of programs causes most of the processing time to be spent in their loops. Unrolling not...