Sciweavers

1188 search results - page 78 / 238
» Modeling synchronized time series
Sort
View
APLAS
2008
ACM
15 years 1 months ago
Abstraction of Clocks in Synchronous Data-Flow Systems
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...
Albert Cohen, Louis Mandel, Florence Plateau, Marc...
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
15 years 5 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
EUROMICRO
1997
IEEE
15 years 4 months ago
Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
Katerina Goseva-Popstojanova, Aksenti Grnarov
KDD
2002
ACM
171views Data Mining» more  KDD 2002»
16 years 8 days ago
Mining complex models from arbitrarily large databases in constant time
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...
Geoff Hulten, Pedro Domingos
ESANN
2003
15 years 1 months ago
Self-organizing maps and functional networks for local dynamic modeling
The paper presents a method for times series prediction using a local dynamic modeling based on a three step process. In the first step the input data is embedded in a reconstruct...
Noelia Sánchez-Maroño, Oscar Fontenl...