14382 search results - page 36 / 2877 » Time in Connectionist Models |
ANSS
2001
IEEE
15 years 1 months ago
2001
IEEE
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
IANDC
2008
14 years 10 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
ISORC
2007
IEEE
15 years 4 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...