Root Contention in IEEE 1394

Formal Methods for Real-Time and Probabilistic Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-48778-6_4 ◽

1999 ◽

pp. 53-74 ◽

Author(s):

Mariëlle Stoelinga ◽

Frits Vaandrager

Keyword(s):

Download Full-text

Service diagnostic interface for consumer electronics products and networks. Implementation for IEEE 1394

10.3403/03033512u ◽

2015 ◽

Keyword(s):

Consumer Electronics ◽

Download Full-text

The Leader Election Protocol of IEEE 1394 in Maude⋆ ⋆Research supported by CICYT project Desarrollo Formal de Sistemas Distribuidos (TIC97-0669-C03-01).

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80133-1 ◽

2000 ◽

Vol 36 ◽

pp. 383-404

Author(s):

Alberto Verdejo ◽

Isabel Pita ◽

Narciso Martí-Oliet

Keyword(s):

Leader Election ◽

Download Full-text

Comparative study of the FireWire/spl trade/ IEEE-1394 protocol with the Universal Serial Bus and Ethernet

The 2002 45th Midwest Symposium on Circuits and Systems, 2002. MWSCAS-2002. ◽

10.1109/mwscas.2002.1186910 ◽

2004 ◽

Author(s):

G. Ramamurthy ◽

K. Ashenayi

Keyword(s):

Comparative Study ◽

Universal Serial Bus ◽

Download Full-text

Development of an IEEE 1394 long-haul adapter

1999 Digest of Technical Papers. International Conference on Consumer Electronics (Cat. No.99CH36277) ◽

10.1109/icce.1999.785270 ◽

2003 ◽

Author(s):

T. Nyu ◽

T. Saito ◽

Y. Wakayama ◽

J.-I. Matsuda ◽

S. Yamazaki

Keyword(s):

Download Full-text

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-003-0118-5 ◽

2004 ◽

Vol 5 (2-3) ◽

pp. 221-236 ◽

Author(s):

Conrado Daws ◽

Marta Kwiatkowska ◽

Gethin Norman

Keyword(s):

Automatic Verification ◽

Download Full-text

Allocating channel automatically of IEEE 1394 based on normalized topology

Control Engineering and Information Systems ◽

10.1201/b17732-96 ◽

2015 ◽

pp. 481-486

Keyword(s):

Download Full-text

Real-time DV transmission on hybrid network with IEEE 1394 and ATM

1999 Digest of Technical Papers. International Conference on Consumer Electronics (Cat. No.99CH36277) ◽

10.1109/icce.1999.785207 ◽

2003 ◽

Author(s):

M. Miyashita ◽

A. Iketani ◽

M. Kobayashi

Keyword(s):

Real Time ◽

Hybrid Network ◽

Download Full-text

IEEE 1394: a growing computer connectivity standard for automated test

2000 IEEE Autotestcon Proceedings. IEEE Systems Readiness Technology Conference. Future Sustainment for Military Aerospace (Cat. No.00CH37057) ◽

10.1109/autest.2000.885620 ◽

2002 ◽

Author(s):

A. Purcell

Keyword(s):

Ieee 1394 ◽

Download Full-text

Development of a Smart Motion Control Card with an IEEE-1394 Interface

Intelligent Robotics and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25489-5_26 ◽

2011 ◽

pp. 263-274 ◽

Author(s):

Guo-Ying Gu ◽

LiMin Zhu ◽

Ying Feng

Keyword(s):

Motion Control ◽

Control Card ◽

Ieee 1394 ◽

Motion Control Card

Download Full-text

Error-injection-based failure characterization of the IEEE 1394 bus

9th IEEE On-Line Testing Symposium, 2003. IOLTS 2003. ◽

10.1109/olt.2003.1214399 ◽

2004 ◽

Author(s):

D.J. Beauregard ◽

Z. Kalbarczyk ◽

Rk. Iyer ◽

S. Chau ◽

L. Alkalai

Keyword(s):

Download Full-text