4306 search results - page 226 / 862 » Timed Testing with TorX |
86
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
Statistical timing analysis has been widely applied to predict the timing yield of VLSI circuits when process variations become significant. Existing statistical latch timing met...
88
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Existing methods for time series clustering rely on the actual data values can become impractical since the methods do not easily handle dataset with high dimensionality, missing v...
112
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
99
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
103
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...