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
Y1 - 1986
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 -