Chauhan, Himanshu; Garg, Vijay K. Fast detection of stable and count predicates in parallel computations. (English) Zbl 07226030 Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-061-3). LIPIcs – Leibniz International Proceedings in Informatics 95, Article 20, 21 p. (2018). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{H. Chauhan} and \textit{V. K. Garg}, LIPIcs -- Leibniz Int. Proc. Inform. 95, Article 20, 21 p. (2018; Zbl 07226030) Full Text: DOI
Chang, Yen-Jung; Garg, Vijay K. Predicate detection for parallel computations with locking constraints. (English) Zbl 1432.68156 Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 17, 17 p. (2017). MSC: 68Q10 68Q17 PDF BibTeX XML Cite \textit{Y.-J. Chang} and \textit{V. K. Garg}, LIPIcs -- Leibniz Int. Proc. Inform. 70, Article 17, 17~p. (2017; Zbl 1432.68156) Full Text: DOI
Natarajan, Aravind; Chauhan, Himanshu; Mittal, Neeraj; Garg, Vijay K. Efficient abstraction algorithms for predicate detection. (English) Zbl 1371.68180 Theor. Comput. Sci. 688, 24-48 (2017). MSC: 68Q60 68Q10 68W15 68W27 PDF BibTeX XML Cite \textit{A. Natarajan} et al., Theor. Comput. Sci. 688, 24--48 (2017; Zbl 1371.68180) Full Text: DOI
Spiliopoulou, Myra (ed.); Schmidt-Thieme, Lars (ed.); Janning, Ruth (ed.) Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1–3, 2012. (English) Zbl 1301.68022 Studies in Classification, Data Analysis, and Knowledge Organization. Cham: Springer (ISBN 978-3-319-01594-1/pbk; 978-3-319-01595-8/ebook). xxi, 470 p. (2014). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-06 68P01 68T05 68T30 62-07 62P99 PDF BibTeX XML Cite \textit{M. Spiliopoulou} (ed.) et al., Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1--3, 2012. Cham: Springer (2014; Zbl 1301.68022) Full Text: DOI
Garg, Vijay K.; Agarwal, Anurag; Ogale, Vinit Modeling, analyzing and slicing periodic distributed computations. (English) Zbl 1285.68012 Inf. Comput. 234, 26-43 (2014). MSC: 68M14 68W15 68Q05 68R10 PDF BibTeX XML Cite \textit{V. K. Garg} et al., Inf. Comput. 234, 26--43 (2014; Zbl 1285.68012) Full Text: DOI
Kshemkalyani, Ajay D. Immediate detection of predicates in pervasive environments. (English) Zbl 1242.68023 J. Parallel Distrib. Comput. 72, No. 2, 219-230 (2012). MSC: 68M14 68M15 PDF BibTeX XML Cite \textit{A. D. Kshemkalyani}, J. Parallel Distrib. Comput. 72, No. 2, 219--230 (2012; Zbl 1242.68023) Full Text: DOI
Kshemkalyani, Ajay D. Repeated detection of conjunctive predicates in distributed executions. (English) Zbl 1260.68452 Inf. Process. Lett. 111, No. 9, 447-452 (2011). MSC: 68W15 68W40 PDF BibTeX XML Cite \textit{A. D. Kshemkalyani}, Inf. Process. Lett. 111, No. 9, 447--452 (2011; Zbl 1260.68452) Full Text: DOI
Chen, Lung-Pin; Sun, Der-Johng; Chu, William Efficient online algorithm for identifying useless states in distributed systems. (English) Zbl 1231.68069 Distrib. Comput. 23, No. 5-6, 359-372 (2011). MSC: 68M14 68W27 PDF BibTeX XML Cite \textit{L.-P. Chen} et al., Distrib. Comput. 23, No. 5--6, 359--372 (2011; Zbl 1231.68069) Full Text: DOI
Chu, Chunbo; Brockmeyer, Monica Eventually perfect predicate detection in crash-affected finite average response time systems. (English) Zbl 1191.68082 Int. J. Parallel Emergent Distrib. Syst. 25, No. 1, 37-50 (2010). MSC: 68M14 68M15 68W15 PDF BibTeX XML Cite \textit{C. Chu} and \textit{M. Brockmeyer}, Int. J. Parallel Emergent Distrib. Syst. 25, No. 1, 37--50 (2010; Zbl 1191.68082) Full Text: DOI
Crespo, Rui Gustavo Predicting feature interactions by using inconsistency models. (English) Zbl 1184.68069 Comput. Netw. 54, No. 3, 416-427 (2010). MSC: 68M11 PDF BibTeX XML Cite \textit{R. G. Crespo}, Comput. Netw. 54, No. 3, 416--427 (2010; Zbl 1184.68069) Full Text: DOI
Parsa, Saeed; Nare, Somaye Arabi; Vahidi-Asl, Mojtaba Early bug detection in deployed software using support vector machine. (English) Zbl 1183.68203 Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 518-525 (2008). MSC: 68N99 68T05 PDF BibTeX XML Cite \textit{S. Parsa} et al., Commun. Comput. Inf. Sci. 6, 518--525 (2008; Zbl 1183.68203) Full Text: DOI
Agarwal, Anurag; Garg, Vijay K. Efficient dependency tracking for relevant events in concurrent systems. (English) Zbl 1266.68205 Distrib. Comput. 19, No. 3, 163-183 (2006). MSC: 68W15 68M10 PDF BibTeX XML Cite \textit{A. Agarwal} and \textit{V. K. Garg}, Distrib. Comput. 19, No. 3, 163--183 (2006; Zbl 1266.68205) Full Text: DOI
Agarwal, Anurag; Garg, Vijay K. Efficient dependency tracking for relevant events in shared-memory systems. (English) Zbl 1314.68363 Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 19-28 (2005). MSC: 68W15 68M14 68N19 68N25 68P05 PDF BibTeX XML Cite \textit{A. Agarwal} and \textit{V. K. Garg}, in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 19--28 (2005; Zbl 1314.68363) Full Text: DOI
Mittal, Neeraj; Garg, Vijay K. Techniques and applications of computation slicing. (English) Zbl 1264.68030 Distrib. Comput. 17, No. 3, 251-277 (2005). MSC: 68M14 68M15 68W15 PDF BibTeX XML Cite \textit{N. Mittal} and \textit{V. K. Garg}, Distrib. Comput. 17, No. 3, 251--277 (2005; Zbl 1264.68030) Full Text: DOI
Kashyap, Sujatha; Garg, Vijay K. Intractability results in predicate detection. (English) Zbl 1182.68016 Inf. Process. Lett. 94, No. 6, 277-282 (2005). MSC: 68M14 68Q17 PDF BibTeX XML Cite \textit{S. Kashyap} and \textit{V. K. Garg}, Inf. Process. Lett. 94, No. 6, 277--282 (2005; Zbl 1182.68016) Full Text: DOI
Tarafdar, Ashis; Garg, Vijay K. Predicate control: synchronization in distributed computations with look-ahead. (English) Zbl 1069.68026 J. Parallel Distrib. Comput. 64, No. 2, 219-237 (2004). MSC: 68M14 PDF BibTeX XML Cite \textit{A. Tarafdar} and \textit{V. K. Garg}, J. Parallel Distrib. Comput. 64, No. 2, 219--237 (2004; Zbl 1069.68026) Full Text: DOI
Chandra, Punit; Kshemkalyani, Ajay D. Distributed algorithm to detect strong conjunctive predicates. (English) Zbl 1161.68862 Inf. Process. Lett. 87, No. 5, 243-249 (2003). MSC: 68W15 PDF BibTeX XML Cite \textit{P. Chandra} and \textit{A. D. Kshemkalyani}, Inf. Process. Lett. 87, No. 5, 243--249 (2003; Zbl 1161.68862) Full Text: DOI
Stoller, Scott D. Detecting global predicates in distributed systems with clocks. (English) Zbl 1448.68166 Distrib. Comput. 13, No. 2, 85-98 (2000). MSC: 68M14 03B70 PDF BibTeX XML Cite \textit{S. D. Stoller}, Distrib. Comput. 13, No. 2, 85--98 (2000; Zbl 1448.68166) Full Text: Link
Chase, Craig M.; Garg, Vijay K. Detection of global predicates: techniques and their limitations. (English) Zbl 1448.68080 Distrib. Comput. 11, No. 4, 191-201 (1998). MSC: 68M14 68Q17 68W40 PDF BibTeX XML Cite \textit{C. M. Chase} and \textit{V. K. Garg}, Distrib. Comput. 11, No. 4, 191--201 (1998; Zbl 1448.68080) Full Text: Link
Garg, Vijay K.; Mitchell, J. Roger Detecting conjunctions of global predicates. (English) Zbl 1336.68077 Inf. Process. Lett. 63, No. 6, 295-302 (1997). MSC: 68Q10 03B70 PDF BibTeX XML Cite \textit{V. K. Garg} and \textit{J. R. Mitchell}, Inf. Process. Lett. 63, No. 6, 295--302 (1997; Zbl 1336.68077) Full Text: DOI
Schwarz, Reinhard; Mattern, Friedemann Detecting causal relationships in distributed computations: In search of the holy grail. (English) Zbl 0813.68096 Distrib. Comput. 7, No. 3, 149-174 (1994). MSC: 68Q10 PDF BibTeX XML Cite \textit{R. Schwarz} and \textit{F. Mattern}, Distrib. Comput. 7, No. 3, 149--174 (1994; Zbl 0813.68096) Full Text: DOI
Shavit, Nir; Francez, Nissim A new approach to detection of locally indicative stability. (English) Zbl 0594.68029 Automata, languages and programming, Proc. 13th Int. Colloq., Rennes/France 1986, Lect. Notes Comput. Sci. 226, 344-358 (1986). MSC: 68N25 PDF BibTeX XML
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDF BibTeX XML