11716 search results - page 47 / 2344 » Computable symbolic dynamics |
DAC
2008
ACM
16 years 25 days ago
2008
ACM
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
115
click to vote
RTSS
1997
IEEE
15 years 4 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....
DAC
1994
ACM
15 years 3 months ago
1994
ACM
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
ICANN
2001
Springer
15 years 4 months ago
2001
Springer
This paper studies the use of discrete-time recurrent neural networks for predicting the next symbol in a sequence. The focus is on online prediction, a task much harder than the c...