A novel deadlock free and starvation free packet switching communication processor-Reference-Cited by-同舟云学术

A novel deadlock free and starvation free packet switching communication processor

Published:1987 Issue: Volume: Page:68-85
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Annot J. K.,Twist R. A. H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-17943-7_121.pdf

Reference14 articles.

1. J.K. Annot, ”Deadlock Freedom in Packet Switching Networks”, Internal report no. 0157 of ESPRIT project 415-A, Philips Research Laboratories, Eindhoven, The Netherlands, November 1986.

2. H.L. Bodlaender, ”Deadlock-free packet switching networks with variable packet size”, Techn. Rep. RUU-CS-85-25, Dept. of Computer Science, University of Utrecht, Utrecht, 1985. Extended abstract in Proceedings of NGI-SION 1986 Symposium Stimulerende Informatica, pp. 475–484, Utrecht, 1986.

3. W.J. Dally and C.L. Seitz, ”Deadlock-Free Message Routing in Multiprocessor Interconnection Networks”, Dept. of Computer Science, California Institute of Technology, Technical Report 5206:TR:86, 1986.

4. W.J. Dally and C.L. Seitz, ”The Torus Routing Chip,” Distributed Computing (1986) 1: 187–196.

5. E.W. Dijkstra, ”Guarded Commands, Nondeterminacy and Formal Derivation of Programs”, Comm. ACM 18 (8) (1975) 453–457.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Traverdi — Transformation and verification of distributed systems;KORSO: Methods, Languages, and Tools for the Construction of Correct Software;1995

2. A refinement relation supporting the transition from unbounded to bounded communication buffers;Lecture Notes in Computer Science;1995

3. POOSS: A Parallel Object-Oriented Stable Storage;Future Generation Computer Systems;1991-09

4. The POOMA architecture;Lecture Notes in Computer Science;1991

5. Automatic recovery of a parallel stable file system;Lecture Notes in Computer Science;1991