6111 search results - page 136 / 1223 » Time, Hardware, and Uniformity |
188
Voted
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
201
click to vote
ECRTS
2005
IEEE
16 years 1 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
241
Voted
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
205
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
184
click to vote
ATVA
2004
Springer
16 years 1 months ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...