Filters








47,135 Hits in 4.0 sec

Distributed algorithms and causally consistent observations (abstract) [chapter]

Friedemann Mattern
<span title="">1995</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
H o wever, if we simply deny the existence of global time, does it then still make sense to consider global predicates (i.e., predicates of the global state) of a distributed system?  ...  distributed algorithms to detect such stable predicates (i.e., to decide whether the predicate already holds) have been reported in the literature.  ...  H o wever, if we simply deny the existence of global time, does it then still make sense to consider global predicates (i.e., predicates of the global state) of a distributed system?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-60029-9_30">doi:10.1007/3-540-60029-9_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j436qvm22rdx3oagmb2aekegpy">fatcat:j436qvm22rdx3oagmb2aekegpy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829201541/http://www.vs.inf.ethz.ch/publ/papers/turin95.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/95/ed9502eb81353648a54733d4bcd0f28fc7180dbf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-60029-9_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Checking unstable properties in distributed testing of communication protocols [chapter]

Antonio A. F. Loureiro, Samuel T. Chanson, Son T. Vuong, Osvaldo S. F. Carvalho
<span title="">1996</span> <i title="Springer US"> Testing of Communicating Systems </i> &nbsp;
properties in a distributed environment.  ...  Protocol testing is a run-time activity and we can only hope to detect valid or invalid behaviors in an actual execution of a protocol implementation embedded in a testing environment.  ...  Figure 4 4 Special global states in asynchronous distributed systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35062-2_12">doi:10.1007/978-0-387-35062-2_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4uedk5exenhbzk46q2g5rekouq">fatcat:4uedk5exenhbzk46q2g5rekouq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429123634/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35062-2_12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/42/8d4210e9bdf0e21e54afa2161ede290514e1129d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35062-2_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Detection of Conjunctive Stable Predicates in Dynamic Systems

Xinli Wang, Jean Mayo, Guy Hembroff, Chunming Gao
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/auf4c3co6zegri7sh6i5vkpu2i" style="color: black;">2009 15th International Conference on Parallel and Distributed Systems</a> </i> &nbsp;
We present a distributed on-line algorithm for detecting conjunctive stable predicates in dynamic systems.  ...  It has been proved that a solution is declared if and only if the global predicate is verified during the progress of the underlying distributed computation.  ...  In this study, we propose a distributed algorithm for detecting conjunctive stable predicates on-line in dynamic systems. The algorithm consists of two protocols.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icpads.2009.66">doi:10.1109/icpads.2009.66</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icpads/WangMHG09.html">dblp:conf/icpads/WangMHG09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/47hmmzbw75bjpbwgniodk5m32i">fatcat:47hmmzbw75bjpbwgniodk5m32i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100627203506/http://www.cs.mtu.edu/~chgao/Stable_Predicate_ICPADS09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/34/7334c6259123b1de8ec0fa4f617e05b2bf2567af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icpads.2009.66"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Intractability results in predicate detection

Sujatha Kashyap, Vijay K. Garg
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5xfy4fcdxvcvdiybp6iqbffqc4" style="color: black;">Information Processing Letters</a> </i> &nbsp;
It has been shown that global predicate detection in a distributed computation is an NP-complete problem in general.  ...  We show here that, given a class of predicates for which polynomial-time detection algorithms exist, it is in general NP-hard to determine whether a given boolean predicate is a member of that class.  ...  The absence of shared memory and a shared clock in a distributed system makes it difficult to observe global properties in such systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ipl.2005.02.008">doi:10.1016/j.ipl.2005.02.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/scy3kg57qrdwfgjkzedcthwbta">fatcat:scy3kg57qrdwfgjkzedcthwbta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070221232537/http://users.ece.utexas.edu:80/~garg/dist/ipl05-sujatha.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/23/5023126220c1832712ebb442dda57cbd813022c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ipl.2005.02.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments [article]

Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
<span title="2013-10-14">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
To this end, we introduce the predicate detection theory and propose the Predicate-Detection-based Context-Awareness (PD-CA) framework, in which: a) logical time is used to explicitly cope with the asynchrony  ...  ; b) specification of predicates enables the applications to express contextual properties of their concerns; c) online and incremental predicate detection algorithms effectively enable context-awareness  ...  One checker process P che is in charge of collecting the trace of the distributed system execution and detecting the specified predicate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1310.3623v1">arXiv:1310.3623v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u2l3j4wzl5eetfdqr7k5ww7dkq">fatcat:u2l3j4wzl5eetfdqr7k5ww7dkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903192027/https://arxiv.org/pdf/1310.3623v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/84/d4/84d4bcb835f07ee7c666629297622bf6a2766fd4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1310.3623v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Harmony Search Based Algorithm for Detecting Distributed Predicates

Eslam Al
<span title="">2012</span> <i title="The Science and Information Organization"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2yzw5hsmlfa6bkafwsibbudu64" style="color: black;">International Journal of Advanced Computer Science and Applications</a> </i> &nbsp;
In this paper, we have presented a technique based on harmony search to efficiently detect the satisfaction of a predicate under the possibly modality.  ...  Due to concurrency, the detection of distributed predicates can incur significant overhead.  ...  RELATED WORKS Three main approaches have been presented in the literature to detect a predicate in a run of a distributed application.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14569/ijacsa.2012.031025">doi:10.14569/ijacsa.2012.031025</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/njf3gdbq2zfzzdlpjk2gzn572y">fatcat:njf3gdbq2zfzzdlpjk2gzn572y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922012425/http://www.thesai.org/Downloads/Volume3No10/Paper_25-A_Harmony_Search_Based_Algorithm_for_Detecting_Distributed_Predicates.pdf?height%3D100%%26iframe%3Dtrue%26width%3D100%" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/87/ac8703a7eb1e07da242584d65832c428ad36264a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14569/ijacsa.2012.031025"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Detecting quantified global predicates in parallel programs [chapter]

Mark Minas
<span title="">1995</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Global predicates in parallel programs are predicates considering the state of more than one process.  ...  In this paper 9-predicates are defined and examined, a restricted class of global predicates. 9-predicates are defined by two local predicates which have to be simultaneously satisfied by two different  ...  Vector Time In order to process distributed global states, the "happened before" relation on events must be implemented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0020481">doi:10.1007/bfb0020481</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xnl7cnm27ngy7lssascg3xjrm4">fatcat:xnl7cnm27ngy7lssascg3xjrm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808162317/http://www2.cs.unibw.de/publ/minas/Europar95.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/60/a060f5ee27f3440ecf85facb5f68e7da875451ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0020481"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Consistent detection of global predicates

Robert Cooper, Keith Marzullo
<span title="">1991</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5c2bn7fzg5fwbcw34am6gck45m" style="color: black;">Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging - PADD &#39;91</a> </i> &nbsp;
This paper presents three algorithms for detecting global predicates in a well-defined way.  ...  A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate.  ...  A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/122759.122774">doi:10.1145/122759.122774</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pdd/CooperM91.html">dblp:conf/pdd/CooperM91</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4siblb62bjh5rjf6q6z7b2wmqu">fatcat:4siblb62bjh5rjf6q6z7b2wmqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830034700/http://www.inf.pucrs.br/~fldotti/SD-Pos/artigos/estadosGlobais/ConsistentDetectionofGlobalPredicates-CooperMarzullo.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/56/f056c47a9164977e4b7a4a03a3d38b627ee6b170.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/122759.122774"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Detection of weak unstable predicates in distributed programs

V.K. Garg, B. Waldecker
<span title="">1994</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ll6bfs5o6bahfinh3u5z2cnyoy" style="color: black;">IEEE Transactions on Parallel and Distributed Systems</a> </i> &nbsp;
Abstract|This paper discusses detection of global predicates in a distributed program.  ...  Our detection methods will detect if such a predicate is true for any interleaving of events in the system, whether the predicate is stable or not.  ...  We would also like to thank Bryan Chin for implementing o ine versions of our algorithms and Greg Hoagland for incorporating our algorithms in UTDDB.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/71.277788">doi:10.1109/71.277788</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ynlzrxnxr5gnzf4uvwieqi5fri">fatcat:ynlzrxnxr5gnzf4uvwieqi5fri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120124154329/http://www.ece.utexas.edu/~garg/dist/tpds94-weak.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ba/b9/bab9c0a85f7ec98b742478c0e7c296402a849632.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/71.277788"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Detecting temporal logic predicates on the happened-before model

A. Sen, V. K. Garg
<span title="">2002</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t3x4vqewrncrfgn2wu7cafsbsq" style="color: black;">Proceedings 16th International Parallel and Distributed Processing Symposium</a> </i> &nbsp;
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicates.  ...  Finally, our work unifies many earlier results in predicate detection in a single framework.  ...  In distributed programs no process can determine the sequence of global states the system passed. This makes it difficult to check whether a global predicate held.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2002.1015583">doi:10.1109/ipdps.2002.1015583</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/SenG02.html">dblp:conf/ipps/SenG02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/326idkovgvbm3etxfjwj7dv3w4">fatcat:326idkovgvbm3etxfjwj7dv3w4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418154858/http://users.ece.utexas.edu/~garg/dist/ipdps02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/8a/fb8ac6d83a662edcfd2ed85a1c0ac6a13b0df1e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2002.1015583"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Consistent detection of global predicates

Robert Cooper, Keith Marzullo
<span title="1991-12-01">1991</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
This paper presents three algorithms for detecting global predicates in a well-defined way.  ...  A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate.  ...  A fundamental problem in debugging and monitoring is detecting whether the state of a system satisfies some predicate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/127695.122774">doi:10.1145/127695.122774</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/emlmf5jjynabxlmxaixoaaaaji">fatcat:emlmf5jjynabxlmxaixoaaaaji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830034700/http://www.inf.pucrs.br/~fldotti/SD-Pos/artigos/estadosGlobais/ConsistentDetectionofGlobalPredicates-CooperMarzullo.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/56/f056c47a9164977e4b7a4a03a3d38b627ee6b170.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/127695.122774"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Efficient detection of restricted classes of global predicates [chapter]

Craig M. Chase, Vijay K. Garg
<span title="">1995</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We show that the problem of predicate detection in distributed systems is NP-complete.  ...  These properties generalize several known properties of distributed systems, such as the set of consistent cuts forms a lattice, and the WCP and GCP predicate dectection results given in earlier work.  ...  The techniques presented in this paper can be used in distributed debugging systems for implementing breakpoints, in distributed fault monitoring systems for detecting an erroneous state reached by a distributed  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0022155">doi:10.1007/bfb0022155</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t7t376f74facnfkfbrpoa3ea5i">fatcat:t7t376f74facnfkfbrpoa3ea5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922002652/http://users.ece.utexas.edu/~garg/dist/wdag95.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a6/99/a6995167d2c46b22fc4a90c0eb88f286f2dddac1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0022155"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A unified framework for the specification and run-time detection of dynamic properties in distributed computations

Özalp Babaoğlu, Eddy Fromentin, Michel Raynal
<span title="">1996</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
In this article we formulate dynamic property specification and detection as instances of the language recognition problem.  ...  This formal language-oriented view not only unifies a large body of work on distributed debugging and property detection, it also leads to simple and efficient detection algorithms.  ...  Plouzeau for interesting discussions related to the debugging of distributed programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0164-1212(96)00027-1">doi:10.1016/0164-1212(96)00027-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fqlyqqcaezhvzihwyqwik4pxci">fatcat:fqlyqqcaezhvzihwyqwik4pxci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809065721/http://www.cs.unibo.it/~babaoglu/papers/pdf/jss-1996.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/ee/c4ee2e5ef4e7ff0e1d428ae694b4a79df77f74fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0164-1212(96)00027-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Distributed Abstraction Algorithm for Online Predicate Detection

Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vb3ehoarofgm5p24f2dqjxmp3a" style="color: black;">2013 IEEE 32nd International Symposium on Reliable Distributed Systems</a> </i> &nbsp;
Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system.  ...  In this paper, we present first distributed online algorithm for computing the slice of a distributed computation with respect to a regular predicate.  ...  INTRODUCTION Global predicate detection [1] for runtime verification is an important technique for detecting violations of invariants for debugging and fault-tolerance in distributed systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/srds.2013.19">doi:10.1109/srds.2013.19</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/srds/ChauhanGNM13.html">dblp:conf/srds/ChauhanGNM13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rc3v2c67afco5asz67il76tfzi">fatcat:rc3v2c67afco5asz67il76tfzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170420200310/http://users.ece.utexas.edu:80/~garg/pdslab/himanshu/papers/srds13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/74/7c/747c6aebbb422ee065252e877bc24c8d1c00a0bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/srds.2013.19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Runtime Verification for Decentralised and Distributed Systems [chapter]

Adrian Francalanza, Jorge A. Pérez, César Sánchez
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This chapter surveys runtime verification research related to distributed systems.  ...  Then, we will use these characteristics to describe and compare the distributed runtime verification solutions proposed in the research literature.  ...  César Sánchez is funded in part by Spanish MINECO Project "RISCO (TIN2015-71819-P)"and by EU H2020 project 731535 "Elastest".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-75632-5_6">doi:10.1007/978-3-319-75632-5_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4xyydx5wibgdfibxrdthgcwgiu">fatcat:4xyydx5wibgdfibxrdthgcwgiu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725053417/https://www.rug.nl/research/portal/files/54776567/Runtime_Verification_for_Decentralised_and.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e0/0c/e00c12ba005d315a90d1b452e12d7f918d073def.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-75632-5_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 47,135 results