About this paper

Appears in:
Pages: 4199-4207
Publication year: 2009
ISBN: 978-84-612-7578-6
ISSN: 2340-1079

Conference name: 3rd International Technology, Education and Development Conference
Dates: 9-11 March, 2009
Location: Valencia, Spain

RESEND MECHANISM FOR RELIABLE DATAGRAM PROTOCOL

J. Hnidek

Technical University of Liberec (CZECH REPUBLIC)
Most of graphic-arts studios and graphic designers use many 3D application in their work flow. Data exchange between those applications and users is the bottleneck of the process. Our aim is to design and implement a network protocol for real-time exchange of 3D data. Consequently, many users could share their data with others using network and it would remove necessity of exchanging data files among application. These principles could be also used for teaching graphics applications, creating distributed virtual reality etc. The effective way of 3D data sharing requires new datagram network protocol design with some elements of reliability. For example, receiving data in proper order in the way similar to TCP protocol is not required but considerable requirements are imposed on low latency. The protocol itself will use UDP on transport layer and it will have it's own resend mechanism implemented on application layer. This paper is focused on design and validation of resend mechanism using PROMELA programming language and Spin.
@InProceedings{HNIDEK2009RES,
author = {Hnidek, J.},
title = {RESEND MECHANISM FOR RELIABLE DATAGRAM PROTOCOL},
series = {3rd International Technology, Education and Development Conference},
booktitle = {INTED2009 Proceedings},
isbn = {978-84-612-7578-6},
issn = {2340-1079},
publisher = {IATED},
location = {Valencia, Spain},
month = {9-11 March, 2009},
year = {2009},
pages = {4199-4207}}
TY - CONF
AU - J. Hnidek
TI - RESEND MECHANISM FOR RELIABLE DATAGRAM PROTOCOL
SN - 978-84-612-7578-6/2340-1079
PY - 2009
Y1 - 9-11 March, 2009
CI - Valencia, Spain
JO - 3rd International Technology, Education and Development Conference
JA - INTED2009 Proceedings
SP - 4199
EP - 4207
ER -
J. Hnidek (2009) RESEND MECHANISM FOR RELIABLE DATAGRAM PROTOCOL, INTED2009 Proceedings, pp. 4199-4207.
User:
Pass: