6 search results - page 1 / 2 » IEEE 1394: A Ubiquitous Bus |
COMPCON
1995
IEEE
13 years 8 months ago
1995
IEEE
A link is an unreliable FIFO channel. As we mentioned earlier, it is an abstraction of a point-topoint wire or of a simple broadcast LAN. It is unreliable because noise or other ph...
IOLTS
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper investigates the behavior of the IEEE 1394 bus in the presence of transient errors in the hardware layers of the protocol. Software-implemented error injection is used ...
ENTCS
2000
13 years 5 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
ISSS
2002
IEEE
13 years 10 months ago
2002
IEEE
ASE
2002
13 years 5 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...