SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS.

C. V. Ramamoorthy, Y. Yaw, W. T. Tsai, R. Aggarwal, J. Song

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

A correct, general, and efficient procedure for synthesizing error-recoverable protocols for noisy channels is described. The state explosion problem has been tackled by synthesizing the error-recoverable protocol from its noiseless local entity model using certain rules. This reduction arises from the approaches of local modeling and elaboration. It is expected that these two approaches will also play a major role in tackling the complexity problems in designing multiparty protocols. Similarly, performance evaluation for error-recoverable protocols can be synthesized from that for the corresponding noiseless protocol using a probability factor relevant to the successful receipt of a message. However, the resulting two error-recoverable entities are tightly coupled, degrading the performance. The communication speed can be improved by using the pipeline technique and creating a more complicated state diagram for collided messages. The procedure can also be applied to every layer of communication protocols.

Original languageEnglish
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
PublisherIEEE
Pages214-220
Number of pages7
ISBN (Print)0818607270
Publication statusPublished - 1986 Dec 1

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

Fingerprint

Network protocols
Explosions
Pipelines
Communication

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

Ramamoorthy, C. V., Yaw, Y., Tsai, W. T., Aggarwal, R., & Song, J. (1986). SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference (pp. 214-220). (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference). IEEE.
Ramamoorthy, C. V. ; Yaw, Y. ; Tsai, W. T. ; Aggarwal, R. ; Song, J. / SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1986. pp. 214-220 (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).
@inproceedings{94cbadbc0ed343c2bb9090d3f971cc1c,
title = "SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS.",
abstract = "A correct, general, and efficient procedure for synthesizing error-recoverable protocols for noisy channels is described. The state explosion problem has been tackled by synthesizing the error-recoverable protocol from its noiseless local entity model using certain rules. This reduction arises from the approaches of local modeling and elaboration. It is expected that these two approaches will also play a major role in tackling the complexity problems in designing multiparty protocols. Similarly, performance evaluation for error-recoverable protocols can be synthesized from that for the corresponding noiseless protocol using a probability factor relevant to the successful receipt of a message. However, the resulting two error-recoverable entities are tightly coupled, degrading the performance. The communication speed can be improved by using the pipeline technique and creating a more complicated state diagram for collided messages. The procedure can also be applied to every layer of communication protocols.",
author = "Ramamoorthy, {C. V.} and Y. Yaw and Tsai, {W. T.} and R. Aggarwal and J. Song",
year = "1986",
month = "12",
day = "1",
language = "English",
isbn = "0818607270",
series = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
publisher = "IEEE",
pages = "214--220",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",

}

Ramamoorthy, CV, Yaw, Y, Tsai, WT, Aggarwal, R & Song, J 1986, SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS. in Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference, IEEE, pp. 214-220.

SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS. / Ramamoorthy, C. V.; Yaw, Y.; Tsai, W. T.; Aggarwal, R.; Song, J.

Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE, 1986. p. 214-220 (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS.

AU - Ramamoorthy, C. V.

AU - Yaw, Y.

AU - Tsai, W. T.

AU - Aggarwal, R.

AU - Song, J.

PY - 1986/12/1

Y1 - 1986/12/1

N2 - A correct, general, and efficient procedure for synthesizing error-recoverable protocols for noisy channels is described. The state explosion problem has been tackled by synthesizing the error-recoverable protocol from its noiseless local entity model using certain rules. This reduction arises from the approaches of local modeling and elaboration. It is expected that these two approaches will also play a major role in tackling the complexity problems in designing multiparty protocols. Similarly, performance evaluation for error-recoverable protocols can be synthesized from that for the corresponding noiseless protocol using a probability factor relevant to the successful receipt of a message. However, the resulting two error-recoverable entities are tightly coupled, degrading the performance. The communication speed can be improved by using the pipeline technique and creating a more complicated state diagram for collided messages. The procedure can also be applied to every layer of communication protocols.

AB - A correct, general, and efficient procedure for synthesizing error-recoverable protocols for noisy channels is described. The state explosion problem has been tackled by synthesizing the error-recoverable protocol from its noiseless local entity model using certain rules. This reduction arises from the approaches of local modeling and elaboration. It is expected that these two approaches will also play a major role in tackling the complexity problems in designing multiparty protocols. Similarly, performance evaluation for error-recoverable protocols can be synthesized from that for the corresponding noiseless protocol using a probability factor relevant to the successful receipt of a message. However, the resulting two error-recoverable entities are tightly coupled, degrading the performance. The communication speed can be improved by using the pipeline technique and creating a more complicated state diagram for collided messages. The procedure can also be applied to every layer of communication protocols.

UR - http://www.scopus.com/inward/record.url?scp=0022862373&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022862373&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022862373

SN - 0818607270

T3 - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

SP - 214

EP - 220

BT - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

PB - IEEE

ER -

Ramamoorthy CV, Yaw Y, Tsai WT, Aggarwal R, Song J. SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS. In Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. IEEE. 1986. p. 214-220. (Proceedings - IEEE Computer Society's International Computer Software & Applications Conference).