Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952152857> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2952152857 abstract "In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time." @default.
- W2952152857 created "2019-06-27" @default.
- W2952152857 creator A5010174292 @default.
- W2952152857 creator A5027040066 @default.
- W2952152857 creator A5058749843 @default.
- W2952152857 creator A5068060092 @default.
- W2952152857 creator A5072787717 @default.
- W2952152857 date "2017-07-24" @default.
- W2952152857 modified "2023-09-27" @default.
- W2952152857 title "Monitoring Partially Synchronous Distributed Systems using SMT Solvers" @default.
- W2952152857 cites W1519460009 @default.
- W2952152857 cites W1527862274 @default.
- W2952152857 cites W1652742168 @default.
- W2952152857 cites W1981173460 @default.
- W2952152857 cites W2013409485 @default.
- W2952152857 cites W2016720263 @default.
- W2952152857 cites W2052995544 @default.
- W2952152857 cites W2061164771 @default.
- W2952152857 cites W2071933194 @default.
- W2952152857 cites W2160800498 @default.
- W2952152857 cites W2168313930 @default.
- W2952152857 cites W2170715240 @default.
- W2952152857 cites W2487101119 @default.
- W2952152857 cites W2116746874 @default.
- W2952152857 hasPublicationYear "2017" @default.
- W2952152857 type Work @default.
- W2952152857 sameAs 2952152857 @default.
- W2952152857 citedByCount "0" @default.
- W2952152857 crossrefType "posted-content" @default.
- W2952152857 hasAuthorship W2952152857A5010174292 @default.
- W2952152857 hasAuthorship W2952152857A5027040066 @default.
- W2952152857 hasAuthorship W2952152857A5058749843 @default.
- W2952152857 hasAuthorship W2952152857A5068060092 @default.
- W2952152857 hasAuthorship W2952152857A5072787717 @default.
- W2952152857 hasConcept C114614502 @default.
- W2952152857 hasConcept C120314980 @default.
- W2952152857 hasConcept C149635348 @default.
- W2952152857 hasConcept C164155591 @default.
- W2952152857 hasConcept C168773769 @default.
- W2952152857 hasConcept C173608175 @default.
- W2952152857 hasConcept C193702766 @default.
- W2952152857 hasConcept C199360897 @default.
- W2952152857 hasConcept C2778770139 @default.
- W2952152857 hasConcept C33923547 @default.
- W2952152857 hasConcept C41008148 @default.
- W2952152857 hasConcept C43711488 @default.
- W2952152857 hasConcept C54732982 @default.
- W2952152857 hasConcept C76155785 @default.
- W2952152857 hasConcept C79403827 @default.
- W2952152857 hasConcept C80444323 @default.
- W2952152857 hasConcept C82876162 @default.
- W2952152857 hasConceptScore W2952152857C114614502 @default.
- W2952152857 hasConceptScore W2952152857C120314980 @default.
- W2952152857 hasConceptScore W2952152857C149635348 @default.
- W2952152857 hasConceptScore W2952152857C164155591 @default.
- W2952152857 hasConceptScore W2952152857C168773769 @default.
- W2952152857 hasConceptScore W2952152857C173608175 @default.
- W2952152857 hasConceptScore W2952152857C193702766 @default.
- W2952152857 hasConceptScore W2952152857C199360897 @default.
- W2952152857 hasConceptScore W2952152857C2778770139 @default.
- W2952152857 hasConceptScore W2952152857C33923547 @default.
- W2952152857 hasConceptScore W2952152857C41008148 @default.
- W2952152857 hasConceptScore W2952152857C43711488 @default.
- W2952152857 hasConceptScore W2952152857C54732982 @default.
- W2952152857 hasConceptScore W2952152857C76155785 @default.
- W2952152857 hasConceptScore W2952152857C79403827 @default.
- W2952152857 hasConceptScore W2952152857C80444323 @default.
- W2952152857 hasConceptScore W2952152857C82876162 @default.
- W2952152857 hasLocation W29521528571 @default.
- W2952152857 hasOpenAccess W2952152857 @default.
- W2952152857 hasPrimaryLocation W29521528571 @default.
- W2952152857 hasRelatedWork W1971500760 @default.
- W2952152857 hasRelatedWork W2058230131 @default.
- W2952152857 hasRelatedWork W2065793351 @default.
- W2952152857 hasRelatedWork W2102298287 @default.
- W2952152857 hasRelatedWork W2108137606 @default.
- W2952152857 hasRelatedWork W2289300061 @default.
- W2952152857 hasRelatedWork W2299150109 @default.
- W2952152857 hasRelatedWork W2439507348 @default.
- W2952152857 hasRelatedWork W2531260568 @default.
- W2952152857 hasRelatedWork W2738428643 @default.
- W2952152857 hasRelatedWork W2763995315 @default.
- W2952152857 hasRelatedWork W2798274108 @default.
- W2952152857 hasRelatedWork W2889872715 @default.
- W2952152857 hasRelatedWork W2898868990 @default.
- W2952152857 hasRelatedWork W2902440776 @default.
- W2952152857 hasRelatedWork W3032388438 @default.
- W2952152857 hasRelatedWork W3166455785 @default.
- W2952152857 hasRelatedWork W3174544859 @default.
- W2952152857 hasRelatedWork W3213167384 @default.
- W2952152857 hasRelatedWork W1605761960 @default.
- W2952152857 isParatext "false" @default.
- W2952152857 isRetracted "false" @default.
- W2952152857 magId "2952152857" @default.
- W2952152857 workType "article" @default.