Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137604356> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2137604356 startingPage "2" @default.
- W2137604356 abstract "Abstract : While networks have been getting faster, perceived throughput at the application has not always increased accordingly and the bottleneck has moved to the communications processing part of the system. The issues that cause the performance bottlenecks in the current transport protocols are discussed in this thesis, and a further study on a high speed transport protocol which tries to overcome these difficulties with some unique features is presented. By using the Systems of Communicating Machines (SCM) model as a framework, a refined and improved version of the formal protocol specification is built over the previous work, and it is analyzed to verify that the protocol is free from logical errors such as deadlock, unspecified reception, unexecuted transitions and blocking loops. The analysis is conducted in two phases which consists of the application of the associated system state analysis and the simulation of the protocol using the programming language ADA. The thesis also presents the difficulties encountered during the course of the analysis, and suggests possible solutions to some of the problems.... Formal specification, Transport protocol, System state analysis, Global analysis, SCM, CFSM." @default.
- W2137604356 created "2016-06-24" @default.
- W2137604356 creator A5055109769 @default.
- W2137604356 date "1993-06-01" @default.
- W2137604356 modified "2023-09-26" @default.
- W2137604356 title "Specification and analysis of a high speed transport protocol" @default.
- W2137604356 hasPublicationYear "1993" @default.
- W2137604356 type Work @default.
- W2137604356 sameAs 2137604356 @default.
- W2137604356 citedByCount "2" @default.
- W2137604356 crossrefType "journal-article" @default.
- W2137604356 hasAuthorship W2137604356A5055109769 @default.
- W2137604356 hasConcept C120314980 @default.
- W2137604356 hasConcept C12269588 @default.
- W2137604356 hasConcept C127413603 @default.
- W2137604356 hasConcept C142724271 @default.
- W2137604356 hasConcept C149635348 @default.
- W2137604356 hasConcept C159023740 @default.
- W2137604356 hasConcept C167822520 @default.
- W2137604356 hasConcept C171146098 @default.
- W2137604356 hasConcept C199360897 @default.
- W2137604356 hasConcept C204787440 @default.
- W2137604356 hasConcept C2780385302 @default.
- W2137604356 hasConcept C2780513914 @default.
- W2137604356 hasConcept C2781085045 @default.
- W2137604356 hasConcept C31258907 @default.
- W2137604356 hasConcept C41008148 @default.
- W2137604356 hasConcept C48103436 @default.
- W2137604356 hasConcept C71924100 @default.
- W2137604356 hasConceptScore W2137604356C120314980 @default.
- W2137604356 hasConceptScore W2137604356C12269588 @default.
- W2137604356 hasConceptScore W2137604356C127413603 @default.
- W2137604356 hasConceptScore W2137604356C142724271 @default.
- W2137604356 hasConceptScore W2137604356C149635348 @default.
- W2137604356 hasConceptScore W2137604356C159023740 @default.
- W2137604356 hasConceptScore W2137604356C167822520 @default.
- W2137604356 hasConceptScore W2137604356C171146098 @default.
- W2137604356 hasConceptScore W2137604356C199360897 @default.
- W2137604356 hasConceptScore W2137604356C204787440 @default.
- W2137604356 hasConceptScore W2137604356C2780385302 @default.
- W2137604356 hasConceptScore W2137604356C2780513914 @default.
- W2137604356 hasConceptScore W2137604356C2781085045 @default.
- W2137604356 hasConceptScore W2137604356C31258907 @default.
- W2137604356 hasConceptScore W2137604356C41008148 @default.
- W2137604356 hasConceptScore W2137604356C48103436 @default.
- W2137604356 hasConceptScore W2137604356C71924100 @default.
- W2137604356 hasLocation W21376043561 @default.
- W2137604356 hasOpenAccess W2137604356 @default.
- W2137604356 hasPrimaryLocation W21376043561 @default.
- W2137604356 hasRelatedWork W1480442313 @default.
- W2137604356 hasRelatedWork W2013208178 @default.
- W2137604356 hasRelatedWork W2023044223 @default.
- W2137604356 hasRelatedWork W2048011269 @default.
- W2137604356 hasRelatedWork W2056650757 @default.
- W2137604356 hasRelatedWork W2066041704 @default.
- W2137604356 hasRelatedWork W207759855 @default.
- W2137604356 hasRelatedWork W2097925624 @default.
- W2137604356 hasRelatedWork W2112867059 @default.
- W2137604356 hasRelatedWork W2121315693 @default.
- W2137604356 hasRelatedWork W2136209759 @default.
- W2137604356 hasRelatedWork W2149792581 @default.
- W2137604356 hasRelatedWork W2409166641 @default.
- W2137604356 hasRelatedWork W2492825885 @default.
- W2137604356 hasRelatedWork W2513184887 @default.
- W2137604356 hasRelatedWork W3009841775 @default.
- W2137604356 hasRelatedWork W3140356503 @default.
- W2137604356 hasRelatedWork W3173589567 @default.
- W2137604356 hasRelatedWork W825214838 @default.
- W2137604356 hasRelatedWork W1520549966 @default.
- W2137604356 isParatext "false" @default.
- W2137604356 isRetracted "false" @default.
- W2137604356 magId "2137604356" @default.
- W2137604356 workType "article" @default.