FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1956702549> ?p ?o ?g. }

• W1956702549 abstract "Abstract : Modern defense systems must be implemented as redundant, fault-tolerant systems in order to meet their reliability requirements. Unfortunately, developing protocols to achieve distributed agreement in an asynchronous environment can be deceptively difficult. Engineers often exploit the fact that their systems are quasi-synchronous, where even though the clocks of the different nodes are not synchronized, they run at the same rate, or multiples of the same rate, modulo their drift and jitter. While such designs often appear to work correctly, their intrinsic asynchrony makes them prone to latent race and deadlock conditions. This project provide systems designers with an intuitive modeling environment that 1) allows systems engineers to easily specify the high-level architecture and synchronization logic of quasi-synchronous systems using widely available system engineering notations and tools, and 2) integrates and enhances innovative formal verification tools to provide them with immediate feedback on the correctness of their designs." @default.
• W1956702549 created "2016-06-24" @default.
• W1956702549 creator A5007833372 @default.
• W1956702549 creator A5025559558 @default.
• W1956702549 creator A5039202410 @default.
• W1956702549 creator A5046830049 @default.
• W1956702549 creator A5053186956 @default.
• W1956702549 creator A5070474241 @default.
• W1956702549 creator A5074825002 @default.
• W1956702549 date "2015-07-01" @default.
• W1956702549 modified "2023-10-02" @default.
• W1956702549 title "Formal Verification of Quasi-Synchronous Systems" @default.
• W1956702549 cites W1539432158 @default.
• W1956702549 cites W1663179985 @default.
• W1956702549 cites W1971253924 @default.
• W1956702549 cites W2022846948 @default.
• W1956702549 cites W2022877924 @default.
• W1956702549 cites W2028025798 @default.
• W1956702549 cites W2118791871 @default.
• W1956702549 cites W2122229220 @default.
• W1956702549 cites W2136705864 @default.
• W1956702549 cites W2137787952 @default.
• W1956702549 cites W2162405843 @default.
• W1956702549 cites W2171539765 @default.
• W1956702549 cites W72684053 @default.
• W1956702549 cites W2261317850 @default.
• W1956702549 hasPublicationYear "2015" @default.
• W1956702549 type Work @default.
• W1956702549 sameAs 1956702549 @default.
• W1956702549 citedByCount "2" @default.
• W1956702549 countsByYear W19567025492016 @default.
• W1956702549 countsByYear W19567025492019 @default.
• W1956702549 crossrefType "journal-article" @default.
• W1956702549 hasAuthorship W1956702549A5007833372 @default.
• W1956702549 hasAuthorship W1956702549A5025559558 @default.
• W1956702549 hasAuthorship W1956702549A5039202410 @default.
• W1956702549 hasAuthorship W1956702549A5046830049 @default.
• W1956702549 hasAuthorship W1956702549A5053186956 @default.
• W1956702549 hasAuthorship W1956702549A5070474241 @default.
• W1956702549 hasAuthorship W1956702549A5074825002 @default.
• W1956702549 hasConcept C111498074 @default.
• W1956702549 hasConcept C114614502 @default.
• W1956702549 hasConcept C120314980 @default.
• W1956702549 hasConcept C121332964 @default.
• W1956702549 hasConcept C127162648 @default.
• W1956702549 hasConcept C151319957 @default.
• W1956702549 hasConcept C159023740 @default.
• W1956702549 hasConcept C163258240 @default.
• W1956702549 hasConcept C165696696 @default.
• W1956702549 hasConcept C199360897 @default.
• W1956702549 hasConcept C2778562939 @default.
• W1956702549 hasConcept C2779019669 @default.
• W1956702549 hasConcept C31258907 @default.
• W1956702549 hasConcept C33923547 @default.
• W1956702549 hasConcept C38652104 @default.
• W1956702549 hasConcept C41008148 @default.
• W1956702549 hasConcept C43214815 @default.
• W1956702549 hasConcept C54732982 @default.
• W1956702549 hasConcept C55439883 @default.
• W1956702549 hasConcept C62520636 @default.
• W1956702549 hasConceptScore W1956702549C111498074 @default.
• W1956702549 hasConceptScore W1956702549C114614502 @default.
• W1956702549 hasConceptScore W1956702549C120314980 @default.
• W1956702549 hasConceptScore W1956702549C121332964 @default.
• W1956702549 hasConceptScore W1956702549C127162648 @default.
• W1956702549 hasConceptScore W1956702549C151319957 @default.
• W1956702549 hasConceptScore W1956702549C159023740 @default.
• W1956702549 hasConceptScore W1956702549C163258240 @default.
• W1956702549 hasConceptScore W1956702549C165696696 @default.
• W1956702549 hasConceptScore W1956702549C199360897 @default.
• W1956702549 hasConceptScore W1956702549C2778562939 @default.
• W1956702549 hasConceptScore W1956702549C2779019669 @default.
• W1956702549 hasConceptScore W1956702549C31258907 @default.
• W1956702549 hasConceptScore W1956702549C33923547 @default.
• W1956702549 hasConceptScore W1956702549C38652104 @default.
• W1956702549 hasConceptScore W1956702549C41008148 @default.
• W1956702549 hasConceptScore W1956702549C43214815 @default.
• W1956702549 hasConceptScore W1956702549C54732982 @default.
• W1956702549 hasConceptScore W1956702549C55439883 @default.
• W1956702549 hasConceptScore W1956702549C62520636 @default.
• W1956702549 hasLocation W19567025491 @default.
• W1956702549 hasOpenAccess W1956702549 @default.
• W1956702549 hasPrimaryLocation W19567025491 @default.
• W1956702549 hasRelatedWork W128859279 @default.
• W1956702549 hasRelatedWork W2024753805 @default.
• W1956702549 hasRelatedWork W2126680000 @default.
• W1956702549 hasRelatedWork W2168988222 @default.
• W1956702549 hasRelatedWork W2182230345 @default.
• W1956702549 hasRelatedWork W2186526396 @default.
• W1956702549 hasRelatedWork W2302670718 @default.
• W1956702549 hasRelatedWork W2337674744 @default.
• W1956702549 hasRelatedWork W2465465307 @default.
• W1956702549 hasRelatedWork W2511416872 @default.
• W1956702549 hasRelatedWork W2560572590 @default.
• W1956702549 hasRelatedWork W2567640285 @default.
• W1956702549 hasRelatedWork W2601439599 @default.
• W1956702549 hasRelatedWork W2854587044 @default.
• W1956702549 hasRelatedWork W2946039991 @default.
• W1956702549 hasRelatedWork W2950360254 @default.
• W1956702549 hasRelatedWork W2970737097 @default.

• next