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

Uloženo v:

Podrobná bibliografie
Vydáno v:	Science of Computer Programming Ročník 118; s. 24 - 39
Hlavní autoři:	Zhen Zhang, Jian Wu, Chris J. Myers, Tomohiro Yoneda, Wendelin Serwe, Hao Zheng
Médium:	Journal Article
Jazyk:	japonština
Vydáno:	Elsevier BV 01.03.2016
Témata:	[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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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