An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of Computer Programming Jg. 118; S. 24 - 39
Hauptverfasser:	Zhen Zhang, Jian Wu, Chris J. Myers, Tomohiro Yoneda, Wendelin Serwe, Hao Zheng
Format:	Journal Article
Sprache:	Japanisch
Veröffentlicht:	Elsevier BV 01.03.2016
Schlagworte:	[INFO.INFO-ES] Computer Science [cs]/Embedded Systems [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Electrical and Computer Engineering Fault-tolerant routing Formal methods Model checking Network-on-chip Process calculus
ISSN:	0167-6423
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	0167-6423
DOI:	10.1016/j.scico.2016.01.002