Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118052246> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2118052246 abstract "The paper presents an alternative approach to the formal specification and validation of distributed asynchronous algorithms. It begins with a syntactically correct description of the algorithm whose correctness is then to be validated. The validation of the algorithm is based on the process-oriented discrete simulation and permits a partial correctness validation of the algorithm implemented by a program. The suggested method enables to model independent activity of several processors (using pseudo-parallel processes) in simulation time and to model communication channels with defined time behavior and failure semantics. Using the approach it is easy to add other processes like model of system's environment, fault injector and state observer. The method is described with the aid of a simple C-based validation tool called C-Sim. The utilization of C-Sim requires only slight changes in C-coded implementation of the verified algorithm. An example of validation of distributed election algorithm with the presence of faults is presented." @default.
- W2118052246 created "2016-06-24" @default.
- W2118052246 creator A5006016473 @default.
- W2118052246 creator A5048999829 @default.
- W2118052246 creator A5080098475 @default.
- W2118052246 date "2002-12-24" @default.
- W2118052246 modified "2023-09-24" @default.
- W2118052246 title "Functional validation of fault-tolerant asynchronous algorithms" @default.
- W2118052246 cites W2045283483 @default.
- W2118052246 cites W2113486906 @default.
- W2118052246 cites W2122315613 @default.
- W2118052246 cites W2144580760 @default.
- W2118052246 doi "https://doi.org/10.1109/eurmic.1996.546376" @default.
- W2118052246 hasPublicationYear "2002" @default.
- W2118052246 type Work @default.
- W2118052246 sameAs 2118052246 @default.
- W2118052246 citedByCount "4" @default.
- W2118052246 crossrefType "proceedings-article" @default.
- W2118052246 hasAuthorship W2118052246A5006016473 @default.
- W2118052246 hasAuthorship W2118052246A5048999829 @default.
- W2118052246 hasAuthorship W2118052246A5080098475 @default.
- W2118052246 hasConcept C110251889 @default.
- W2118052246 hasConcept C11413529 @default.
- W2118052246 hasConcept C116253237 @default.
- W2118052246 hasConcept C120314980 @default.
- W2118052246 hasConcept C130120984 @default.
- W2118052246 hasConcept C151319957 @default.
- W2118052246 hasConcept C184337299 @default.
- W2118052246 hasConcept C199360897 @default.
- W2118052246 hasConcept C31258907 @default.
- W2118052246 hasConcept C41008148 @default.
- W2118052246 hasConcept C48103436 @default.
- W2118052246 hasConcept C55439883 @default.
- W2118052246 hasConcept C80444323 @default.
- W2118052246 hasConcept C98045186 @default.
- W2118052246 hasConceptScore W2118052246C110251889 @default.
- W2118052246 hasConceptScore W2118052246C11413529 @default.
- W2118052246 hasConceptScore W2118052246C116253237 @default.
- W2118052246 hasConceptScore W2118052246C120314980 @default.
- W2118052246 hasConceptScore W2118052246C130120984 @default.
- W2118052246 hasConceptScore W2118052246C151319957 @default.
- W2118052246 hasConceptScore W2118052246C184337299 @default.
- W2118052246 hasConceptScore W2118052246C199360897 @default.
- W2118052246 hasConceptScore W2118052246C31258907 @default.
- W2118052246 hasConceptScore W2118052246C41008148 @default.
- W2118052246 hasConceptScore W2118052246C48103436 @default.
- W2118052246 hasConceptScore W2118052246C55439883 @default.
- W2118052246 hasConceptScore W2118052246C80444323 @default.
- W2118052246 hasConceptScore W2118052246C98045186 @default.
- W2118052246 hasLocation W21180522461 @default.
- W2118052246 hasOpenAccess W2118052246 @default.
- W2118052246 hasPrimaryLocation W21180522461 @default.
- W2118052246 hasRelatedWork W1584511540 @default.
- W2118052246 hasRelatedWork W1893927680 @default.
- W2118052246 hasRelatedWork W1993885110 @default.
- W2118052246 hasRelatedWork W2009731420 @default.
- W2118052246 hasRelatedWork W2045134648 @default.
- W2118052246 hasRelatedWork W2046211462 @default.
- W2118052246 hasRelatedWork W2066079847 @default.
- W2118052246 hasRelatedWork W2096342278 @default.
- W2118052246 hasRelatedWork W2101992899 @default.
- W2118052246 hasRelatedWork W2109190452 @default.
- W2118052246 hasRelatedWork W2109226099 @default.
- W2118052246 hasRelatedWork W2126459763 @default.
- W2118052246 hasRelatedWork W2126610434 @default.
- W2118052246 hasRelatedWork W2142838353 @default.
- W2118052246 hasRelatedWork W2146945123 @default.
- W2118052246 hasRelatedWork W2152633841 @default.
- W2118052246 hasRelatedWork W2172298634 @default.
- W2118052246 hasRelatedWork W2386446524 @default.
- W2118052246 hasRelatedWork W2755139963 @default.
- W2118052246 hasRelatedWork W2914307513 @default.
- W2118052246 isParatext "false" @default.
- W2118052246 isRetracted "false" @default.
- W2118052246 magId "2118052246" @default.
- W2118052246 workType "article" @default.