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

Saved in:
Bibliographic Details
Published in:Science of Computer Programming Vol. 118; pp. 24 - 39
Main Authors: Zhen Zhang, Jian Wu, Chris J. Myers, Tomohiro Yoneda, Wendelin Serwe, Hao Zheng
Format: Journal Article
Language:Japanese
Published: Elsevier BV 01.03.2016
Subjects:
[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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:0167-6423
DOI:10.1016/j.scico.2016.01.002