24,003 Hits in 3.7 sec

Efficient detection of restricted classes of global predicates [chapter]

Craig M. Chase, Vijay K. Garg
1995 Lecture Notes in Computer Science  
We introduce a class of predicates, linear predicates, such that for any linear predicate B there exists an efficient detection of the least cut satisfying B. The dual of linearity is post-linearity.  ...  We define a more general class of predicates, semi-linear predicates, for which efficient algorithms are known to detect whether a predicate has occurred during an execution of a distributed program.  ...  We thank him for many valuable discussions and his insight into the importance of the linearity propery.  ... 
doi:10.1007/bfb0022155 fatcat:t7t376f74facnfkfbrpoa3ea5i

Detecting quantified global predicates in parallel programs [chapter]

Mark Minas
1995 Lecture Notes in Computer Science  
Efficient centralized and parallel algorithms for detecting satisfaction of 9-predicates are proposed.  ...  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  ...  In the literature several restricted classes of global predicates together with algorithms for checking these predicates have been discussed.  ... 
doi:10.1007/bfb0020481 fatcat:xnl7cnm27ngy7lssascg3xjrm4

Faster possibility detection by combining two approaches [chapter]

Scott D. Stoller, Fred B. Schneider
1995 Lecture Notes in Computer Science  
Like the algorithm of Cooper and Marzullo, Φ may be any global state predicate; and like the algorithm of Garg and Waldecker, Poss Φ is detected quite efficiently if Φ has a certain structure.  ...  The new algorithm exploits the structure of some predicates Φ not handled by Garg and Waldecker's algorithm to detect Poss Φ more efficiently than is possible with any algorithm that, like Cooper and Marzullo's  ...  Another approach has been to restrict the problem and develop efficient algorithms for detecting only certain classes of predicates [GW92, GW94, TG94] .  ... 
doi:10.1007/bfb0022156 fatcat:zrhwtgp6wnhsfifcuxfvzsmqpa

Runtime Verification of k-Mutual Exclusion for SoCs

Selma Ikiz, Alper Sen
2007 2007 Eighth International Workshop on Microprocessor Test and Verification  
We present an efficient runtime verification environment for detecting mutual exclusion predicates. Such predicates are important for keeping the safe operation of concurrent systems.  ...  In all fairness, slicing handles general class of predicates from temporal logic CTL, whereas k-exclusion algorithm handles only a very specific, nonetheless useful, class of mutual exclusion predicates  ...  Specifically, predicate detection enables efficient verification of predicates (or properties) from a formal specification language on execution traces of actual scalable systems.  ... 
doi:10.1109/mtv.2007.21 dblp:conf/mtv/IkizS07 fatcat:kbn267xgbrddbiyx6hbfe23pfm

Formal Verification of Simulation Traces Using Computation Slicing

Alper Sen, Vijay K. Garg
2007 IEEE transactions on computers  
We show how to use the slicing algorithms for efficient predicate detection of design properties.  ...  Intuitively, the slice of a trace with respect to a property is a subtrace that contains all of the global states of the trace that satisfy the property such that it is computed efficiently (without traversing  ...  Sublogics of CTL are defined by restrictions on the operators allowed, and by restrictions on the classes of atomic propositions. .  ... 
doi:10.1109/tc.2007.1011 fatcat:unrpxjc27zalhj43ornzg32v4m

Detection of global predicates: Techniques and their limitations

Craig M. Chase, Vijay K. Garg
1998 Distributed computing  
In the past, efficient algorithms have been developed for special classes of predicates such as stable predicates, observer independent predicates, and conjunctive predicates.  ...  We also study closure properties of these classes with respect to conjunction and disjunction. Finally, we discuss algorithms for detection of predicates in these classes.  ...  We gratefully acknowledge many valuable discussions with Alex Tomlinson concerning predicate linearity.  ... 
doi:10.1007/s004460050049 fatcat:sdhrj2p3xjbmtijfmoglgsqwli

(Im)Possibilities of Predicate Detection in Crash-Affected Systems [chapter]

Felix C. Gärtner, Stefan Pleisch
2001 Lecture Notes in Computer Science  
However, these classes were meant to help solve the consensus problem and not the problem of predicate detection.  ...  [11] , but they restrict the scope of the predicates to set-decreasing and conjunctive predicates.  ...  We also thank the anonymous reviewers of DISC 2001 for suggesting to study the differences between the query model and the interrupt model of failure detectors.  ... 
doi:10.1007/3-540-45438-1_7 fatcat:fmpmbauvqbaf5po4qpfqon6e5a

Partial Order Trace Analyzer (POTA) for Distributed Programs

Alper Sen, Vijay K. Garg
2003 Electronical Notes in Theoretical Computer Science  
A slice of a computation (execution trace) with respect to a predicate is the computation with the least number of global states that contains all global states of the original computation for which the  ...  The advantage of this technique is that, it mitigates the state explosion problem by reasoning only on the part of the global state space that is of interest.  ...  Acknowledgements: We would like to acknowledge Neeraj Mittal for his contribution in the implementation of POTA. We also thank Gerard J. Holzmann for discussion on SPIN.  ... 
doi:10.1016/s1571-0661(04)81041-7 fatcat:lfg326gj3jggnergof6ggldpnu

Simultaneous Fault Models for the Generation of Efficient Error Detection Mechanisms

Matthew Leeke
2017 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)  
The focus of this paper is on the generation of efficient error detection predicates for EDMs under simultaneous fault models.  ...  The efficiencies of the generated error detection predicates surpass those of predicates generated under the BF model when evaluated again non-simultaneous or simultaneous faults.  ... 
doi:10.1109/issre.2017.29 dblp:conf/issre/Leeke17 fatcat:57zg4ajjujcyhj2risclu5rfee

Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing [chapter]

Alper Sen, Vijay K. Garg
2004 Lecture Notes in Computer Science  
Using temporal predicate slices, we give an efficient (polynomial in the number of processes) predicate detection algorithm for a subset of CTL that we call regular CTL.  ...  Regular CTL contains nested temporal predicates for which, to the best of our knowledge, there did not previously exist efficient predicate detection algorithms.  ...  If only a small fraction of global states satisfy p 1 , then instead of detecting p in the computation, it is much more efficient to detect p in the slice.  ... 
doi:10.1007/978-3-540-27860-3_17 fatcat:nwofuojchfgxrgtjbk3so2ingu

Runtime Verification for Decentralised and Distributed Systems [chapter]

Adrian Francalanza, Jorge A. Pérez, César Sánchez
2018 Lecture Notes in Computer Science  
identify some characteristics that distinguish distributed monitoring from centralised monitoring, and characteristics that allow to classify distributed runtime verification works based on features of  ...  Consequently, a line of work has focused on identifying classes of predicates for efficient slicing procedures exist.  ...  As discussed earlier, even though research in predicate detection has considered classes of predicates richer than individual observations (regular, linear, etc) and has characterised that detecting a  ... 
doi:10.1007/978-3-319-75632-5_6 fatcat:4xyydx5wibgdfibxrdthgcwgiu

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments

Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2016 IEEE transactions on computers  
Predicate detection is a well studied technique dedicated to detecting global predicates over asynchronous computations and can be employed to achieve context-awareness of the asynchronous environment.  ...  To this end, we present the Predicate Detection-based Context-Awareness (PD-CA) framework. PD-CA maps the concepts of context-awareness to concepts of predicate detection.  ...  candidate of Nanjing University.  ... 
doi:10.1109/tc.2015.2424879 fatcat:uswq36vylnfqvjizt4wezx4kja

foxPSL: A Fast, Optimized and eXtended PSL implementation

Sara Magliacane, Philip Stutz, Paul Groth, Abraham Bernstein
2015 International Journal of Approximate Reasoning  
It provides a Domain Specific Language that extends standard PSL with a class system and existential quantifiers, allowing for efficient grounding.  ...  efficient, since it can be formulated as a constrained convex minimization problem, as opposed to a discrete optimization problem for standard MRFs.  ...  The global convergence detection is based on efficient MapReduce-style aggregations.  ... 
doi:10.1016/j.ijar.2015.05.012 fatcat:p4soy274hzgdrlpqusfja46qra

Locally Distributed Predicates: A Programming Facility for Distributed State Detection [chapter]

Michael De Rosa
2009 Lecture Notes in Computer Science  
This prevents global predicates from efficiently detecting predicates that rely on the state and topology of a small number of nodes.  ...  The detection of global predicates provides important inspiration and techniques for the detection of locally distributed predicates.  ... 
doi:10.1007/978-3-642-02846-5_62 fatcat:xcscshvvyjdp7meaybsd7zl4oq

Solving Computation Slicing Using Predicate Detection

N. Mittal, A. Sen, V.K. Garg
2007 IEEE Transactions on Parallel and Distributed Systems  
Given a distributed computation and a global predicate, predicate detection involves determining whether there exists at least one consistent cut (or global state) of the computation that satisfies the  ...  Specifically, given an algorithm to detect a predicate b in a computation C, we derive an algorithm to compute the slice of C with respect to b.  ...  ACKNOWLEDGMENTS A preliminary version of this paper appeared in the Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS) 2004.  ... 
doi:10.1109/tpds.2007.1077 fatcat:fjzkjonrijfydc6contrzljgza
« Previous Showing results 1 — 15 out of 24,003 results