989 search results - page 85 / 198 » Dynamic Time Step Control Algorithm Enhancements |
140
Voted
RTSS
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
124
click to vote
MSE
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the first multimedia system that allows users to conduct a realistic electronic orchestra. Users control tempo, dynamics, and instrument emphasis of the orch...
140
Voted
SBRN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper proposes a simple methodology to construct an iterative neural network which mimics a given chaotic time series. The methodology uses the Gamma test to identify a suita...
152
Voted
RTAS
2010
IEEE
15 years 25 days ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
208
click to vote
SOFTCOMP
2010
15 years 24 days ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...