Zhang, Min; Lu, Kai; Li, Xinhao; Lu, Quantong Blind recognition method for the Turbo codes on trellis termination. (Chinese. English summary) Zbl 1363.94051 Syst. Eng. Electron. 38, No. 6, 1423-1428 (2016). MSC: 94A24 94B35 PDF BibTeX XML Cite \textit{M. Zhang} et al., Syst. Eng. Electron. 38, No. 6, 1423--1428 (2016; Zbl 1363.94051) Full Text: DOI
Nicolescu, Radu Structured grid algorithms modelled with complex objects. (English) Zbl 06546477 Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28474-3/pbk; 978-3-319-28475-0/ebook). Lecture Notes in Computer Science 9504, 321-337 (2015). MSC: 68Q05 68Q10 PDF BibTeX XML Cite \textit{R. Nicolescu}, Lect. Notes Comput. Sci. 9504, 321--337 (2015; Zbl 06546477) Full Text: DOI
Nicolescu, Radu Parallel thinning with complex objects and actors. (English) Zbl 06515630 Gheorghe, Marian (ed.) et al., Membrane computing. 15th international conference, CMC 2014, Prague, Czech Republic, August 20–22, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-14369-9/pbk; 978-3-319-14370-5/ebook). Lecture Notes in Computer Science 8961, 330-354 (2014). MSC: 68Q05 68Q10 PDF BibTeX XML Cite \textit{R. Nicolescu}, Lect. Notes Comput. Sci. 8961, 330--354 (2014; Zbl 06515630) Full Text: DOI
Pham-Sy, N.; Tran, C.-D.; Hoang-Trieu, T.-T.; Mai-Duy, N.; Tran-Cong, T. Compact local IRBF and domain decomposition method for solving PDEs using a distributed termination detection based parallel algorithm. (English) Zbl 1356.65200 CMES, Comput. Model. Eng. Sci. 92, No. 1, 1-31 (2013). MSC: 65L60 PDF BibTeX XML Cite \textit{N. Pham-Sy} et al., CMES, Comput. Model. Eng. Sci. 92, No. 1, 1--31 (2013; Zbl 1356.65200) Full Text: DOI
Khonji, Majid; Pernet, Clément; Roch, Jean-Louis; Roche, Thomas; Stalinski, Thomas Output-sensitive decoding for redundant residue systems. (English) Zbl 1321.11127 Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 265-272 (2010). MSC: 11Y16 11A07 68W15 94B35 94C12 PDF BibTeX XML Cite \textit{M. Khonji} et al., in: Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010. New York, NY: Association for Computing Machinery (ACM). 265--272 (2010; Zbl 1321.11127) Full Text: DOI
Mittal, Neeraj; Phaneesh, Kuppahalli L.; Freiling, Felix C. Safe termination detection in an asynchronous distributed system when processes may crash and recover. (English) Zbl 1157.68016 Theor. Comput. Sci. 410, No. 6-7, 614-628 (2009). MSC: 68M14 PDF BibTeX XML Cite \textit{N. Mittal} et al., Theor. Comput. Sci. 410, No. 6--7, 614--628 (2009; Zbl 1157.68016) Full Text: DOI
Mittal, Neeraj; Freiling, Felix C.; Venkatesan, S.; Penso, Lucia Draque On termination detection in crash-prone distributed systems with failure detectors. (English) Zbl 1243.68088 J. Parallel Distrib. Comput. 68, No. 6, 855-875 (2008). MSC: 68M15 68M14 PDF BibTeX XML Cite \textit{N. Mittal} et al., J. Parallel Distrib. Comput. 68, No. 6, 855--875 (2008; Zbl 1243.68088) Full Text: DOI
Mittal, Neeraj; Venkatesan, S.; Peri, Sathya A family of optimal termination detection algorithms. (English) Zbl 1266.68220 Distrib. Comput. 20, No. 2, 141-162 (2007). MSC: 68W15 PDF BibTeX XML Cite \textit{N. Mittal} et al., Distrib. Comput. 20, No. 2, 141--162 (2007; Zbl 1266.68220) Full Text: DOI
Livesey, M. J.; Morrison, R.; Munro, D. S. The doomsday distributed termination detection protocol. (English) Zbl 1266.68057 Distrib. Comput. 19, No. 5-6, 419-431 (2007). MSC: 68M14 68M10 PDF BibTeX XML Cite \textit{M. J. Livesey} et al., Distrib. Comput. 19, No. 5--6, 419--431 (2007; Zbl 1266.68057) Full Text: DOI
Mahapatra, Nihar R.; Dutt, Shantanu An efficient delay-optimal distributed termination detection algorithm. (English) Zbl 1129.68011 J. Parallel Distrib. Comput. 67, No. 10, 1047-1066 (2007). MSC: 68M14 68W15 68Q25 PDF BibTeX XML Cite \textit{N. R. Mahapatra} and \textit{S. Dutt}, J. Parallel Distrib. Comput. 67, No. 10, 1047--1066 (2007; Zbl 1129.68011) Full Text: DOI
Atreya, Ranganath; Mittal, Neeraj; Kshemkalyani, Ajay D.; Garg, Vijay K.; Singhal, Mukesh Efficient detection of a locally stable predicate in a distributed system. (English) Zbl 1115.68028 J. Parallel Distrib. Comput. 67, No. 4, 369-385 (2007). MSC: 68M14 PDF BibTeX XML Cite \textit{R. Atreya} et al., J. Parallel Distrib. Comput. 67, No. 4, 369--385 (2007; Zbl 1115.68028) Full Text: DOI
Drăgoi, Cezara; Ştefănescu, Gheorghe Implementation and verification of ring termination detection protocols using structured rv-systems. (English) Zbl 1265.68099 An. Univ. Bucureşti, Mat.-Inform. 55, 129-138 (2006). MSC: 68Q60 03B70 PDF BibTeX XML Cite \textit{C. Drăgoi} and \textit{G. Ştefănescu}, An. Univ. Bucureşti, Mat.-Inform. 55, 129--138 (2006; Zbl 1265.68099)
Baker, A. H.; Crivelli, S.; Jessup, E. R. An efficient parallel termination detection algorithm. (English) Zbl 1098.68141 Int. J. Parallel Emergent Distrib. Syst. 21, No. 4, 293-301 (2006). MSC: 68W10 68M14 PDF BibTeX XML Cite \textit{A. H. Baker} et al., Int. J. Parallel Emergent Distrib. Syst. 21, No. 4, 293--301 (2006; Zbl 1098.68141) Full Text: DOI
Mittal, Neeraj; Freiling, Felix C.; Venkatesan, S.; Penso, Lucia Draque Efficient reduction for wait-free termination detection in a crash-prone distributed system. (English) Zbl 1171.68380 Fraigniaud, Pierre (ed.), Distributed computing. 19th international conference, DISC 2005, Cracow, Poland, September 26–29, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29163-6/pbk). Lecture Notes in Computer Science 3724, 93-107 (2005). MSC: 68M14 68M15 68W15 PDF BibTeX XML Cite \textit{N. Mittal} et al., Lect. Notes Comput. Sci. 3724, 93--107 (2005; Zbl 1171.68380) Full Text: DOI
Mittal, Neeraj; Venkatesan, Subbarayan; Peri, Sathya Message-optimal and latency-optimal termination detection algorithms for arbitrary topologies. (English) Zbl 1110.68344 Guerraoui, Rachid (ed.), Distributed computing. 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23306-7/pbk). Lecture Notes in Computer Science 3274, 290-304 (2004). MSC: 68M14 PDF BibTeX XML Cite \textit{N. Mittal} et al., Lect. Notes Comput. Sci. 3274, 290--304 (2004; Zbl 1110.68344) Full Text: DOI
Khokhar, Ashfaq A.; Hambrusch, Susanne E.; Kocalar, Erturk Termination detection in data-driven parallel computations/applications. (English) Zbl 1055.68019 J. Parallel Distrib. Comput. 63, No. 3, 312-326 (2003). MSC: 68M14 PDF BibTeX XML Cite \textit{A. A. Khokhar} et al., J. Parallel Distrib. Comput. 63, No. 3, 312--326 (2003; Zbl 1055.68019) Full Text: DOI
Geigl, M.; Griebl, M.; Lengauer, C. Termination detection in parallel loop nests with while loops. (English) Zbl 0939.68506 Parallel Comput. 25, No. 12, 1489-1510 (1999). MSC: 68M07 PDF BibTeX XML Cite \textit{M. Geigl} et al., Parallel Comput. 25, No. 12, 1489--1510 (1999; Zbl 0939.68506) Full Text: DOI
Dhamdhere, D. M.; Iyer, Sridhar R.; Kishore Kumar Reddy, E. Distributed termination detection for dynamic systems. (English) Zbl 0906.68080 Parallel Comput. 22, No. 14, 2025-2045 (1997). MSC: 68W15 68Q10 PDF BibTeX XML Cite \textit{D. M. Dhamdhere} et al., Parallel Comput. 22, No. 14, 2025--2045 (1997; Zbl 0906.68080) Full Text: DOI
Critchlow, Carol; Taylor, Kim The inhibition spectrum and the achievement of causal consistency. (English) Zbl 1448.68087 Distrib. Comput. 10, No. 1, 11-27 (1996). MSC: 68M14 PDF BibTeX XML Cite \textit{C. Critchlow} and \textit{K. Taylor}, Distrib. Comput. 10, No. 1, 11--27 (1996; Zbl 1448.68087) Full Text: DOI
Charron-Bost, Bernadette; Mattern, Friedemann; Tel, Gerard Synchronous, asynchronous, and causally ordered communication. (English) Zbl 1448.68079 Distrib. Comput. 9, No. 4, 173-191 (1996). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{B. Charron-Bost} et al., Distrib. Comput. 9, No. 4, 173--191 (1996; Zbl 1448.68079) Full Text: DOI
Savari, S. A.; Bertsekas, D. P. Finite termination of asynchronous iterative algorithms. (English) Zbl 0873.65018 Parallel Comput. 22, No. 1, 39-56 (1996). MSC: 65F10 65Y05 PDF BibTeX XML Cite \textit{S. A. Savari} and \textit{D. P. Bertsekas}, Parallel Comput. 22, No. 1, 39--56 (1996; Zbl 0873.65018) Full Text: DOI
Brzeziński, Jerzy; Hèlary, Jean-Michel; Raynal, Michel Distributed algorithms for static and dynamic termination detection. (English) Zbl 0844.68054 Bull. Pol. Acad. Sci., Tech. Sci. 43, No. 3, 363-380 (1995). MSC: 68W15 68Q10 PDF BibTeX XML Cite \textit{J. Brzeziński} et al., Bull. Pol. Acad. Sci., Tech. Sci. 43, No. 3, 363--380 (1995; Zbl 0844.68054)
Schiper, André; Sandoz, Alain Strong stable properties in distributed systems. (English) Zbl 1448.68161 Distrib. Comput. 8, No. 2, 93-103 (1994). MSC: 68M14 PDF BibTeX XML Cite \textit{A. Schiper} and \textit{A. Sandoz}, Distrib. Comput. 8, No. 2, 93--103 (1994; Zbl 1448.68161) Full Text: DOI
Gahlot, Ashwani; Ahuja, Mohan; Carlson, Timothy Global flush communication primitive for inter-process communication. (English) Zbl 1373.68097 Proceedings of the 13th annual ACM symposium on principles of distributed computing, PODC ’94, Los Angeles, CA, USA, August 14–17, 1994. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-654-9). 111-120 (1994). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{A. Gahlot} et al., in: Proceedings of the 13th annual ACM symposium on principles of distributed computing, PODC '94, Los Angeles, CA, USA, August 14--17, 1994. New York, NY: Association for Computing Machinery (ACM). 111--120 (1994; Zbl 1373.68097) Full Text: DOI
van Wezel, Michiel C.; Tel, Gerard An assertional proof of Rana’s algorithm. (English) Zbl 0795.68081 Inf. Process. Lett. 49, No. 5, 227-233 (1994). MSC: 68W15 68Q60 PDF BibTeX XML Cite \textit{M. C. van Wezel} and \textit{G. Tel}, Inf. Process. Lett. 49, No. 5, 227--233 (1994; Zbl 0795.68081) Full Text: DOI
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán Narrowing approximations as an optimization for equational logic programs. (English) Zbl 0791.68015 Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 391-409 (1993). MSC: 68N17 68Q42 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 714, 391--409 (1993; Zbl 0791.68015)
Kavianpour, A.; Bagherzadeh, N. Application of three-valued logic for distributed termination detection. (English) Zbl 0791.68073 Comput. Electr. Eng. 17, No. 2, 65-74 (1991). Reviewer: A.Kavianpour MSC: 68W15 68M10 68R10 PDF BibTeX XML Cite \textit{A. Kavianpour} and \textit{N. Bagherzadeh}, Comput. Electr. Eng. 17, No. 2, 65--74 (1991; Zbl 0791.68073) Full Text: DOI
Rönn, Stefan; Saikkonen, Heikki Distributed termination detection with counters. (English) Zbl 0702.68027 Inf. Process. Lett. 34, No. 5, 223-227 (1990). MSC: 68M10 68W15 PDF BibTeX XML Cite \textit{S. Rönn} and \textit{H. Saikkonen}, Inf. Process. Lett. 34, No. 5, 223--227 (1990; Zbl 0702.68027) Full Text: DOI
Raynal, Michel Prime numbers as a tool to design distributed algorithms. (English) Zbl 0681.68036 Inf. Process. Lett. 33, No. 1, 53-58 (1989). MSC: 68N25 PDF BibTeX XML Cite \textit{M. Raynal}, Inf. Process. Lett. 33, No. 1, 53--58 (1989; Zbl 0681.68036) Full Text: DOI
Mattern, Friedemann Experience with a new distributed termination detection algorithm. (English) Zbl 0648.68036 Distributed algorithms, Proc. 2nd Int. Workshop, Amsterdam/Neth. 1987, Lect. Notes Comput. Sci. 312, 127-143 (1988). MSC: 68N25 68Q25 PDF BibTeX XML
Tel, Gerard; Tan, Richard B.; van Leeuwen, Jan The derivation of graph marking algorithms from distributed termination detection protocols. (English) Zbl 0647.68031 Sci. Comput. Program. 10, No. 2, 107-137 (1988). MSC: 68N25 68R10 PDF BibTeX XML Cite \textit{G. Tel} et al., Sci. Comput. Program. 10, No. 2, 107--137 (1988; Zbl 0647.68031) Full Text: DOI
Chandy, K. Mani; Misra, Jayadev Parallel program design. A foundation. (English) Zbl 0717.68034 Reading, MA: Addison-Wesley. XVIII, 516 p. DM 79.00 (1988). Reviewer: I.Wegener MSC: 68W15 68-01 PDF BibTeX XML Cite \textit{K. M. Chandy} and \textit{J. Misra}, Parallel program design. A foundation. Reading, MA: Addison-Wesley (1988; Zbl 0717.68034)
Verjus, J. Pierre On the proof of a distributed algorithm. (English) Zbl 0653.68009 Inf. Process. Lett. 25, 145-147 (1987). MSC: 68N25 68W99 PDF BibTeX XML Cite \textit{J. P. Verjus}, Inf. Process. Lett. 25, 145--147 (1987; Zbl 0653.68009) Full Text: DOI
Bougé, Luc Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP. (English) Zbl 0617.68023 Theor. Comput. Sci. 49, 145-169 (1987). MSC: 68N25 PDF BibTeX XML Cite \textit{L. Bougé}, Theor. Comput. Sci. 49, 145--169 (1987; Zbl 0617.68023) Full Text: DOI
Augusteijn, Lex Garbage collection in a distributed environment. (English) Zbl 0615.68022 PARLE, Parallel architectures and languages Europe, Proc. Conf., Eindhoven/Neth. 1987, Vol. 2, Lect. Notes Comput. Sci. 259, 75-93 (1987). MSC: 68N25 PDF BibTeX XML
Grošelj, Bojan; Tropper, Carl Pseudosimulation: an algorithm for distributed simulation with limited memory. (English) Zbl 0618.68028 Int. J. Parallel Program. 15, 413-456 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{B. Grošelj} and \textit{C. Tropper}, Int. J. Parallel Program. 15, 413--456 (1986; Zbl 0618.68028) Full Text: DOI
Rozoy, Brigitte Model and complexity of termination for distributed computations. (English) Zbl 0616.68060 Mathematical foundations of computer science, Proc. 12th Symp., Bratislava/Czech. 1986, Lect. Notes Comput. Sci. 233, 564-572 (1986). MSC: 68Q85 68N25 PDF BibTeX XML
Chandy, Mani; Misra, Jayadev An example of stepwise refinement of distributed programs: quiescence detection. (English) Zbl 0598.68031 ACM Trans. Program. Lang. Syst. 8, 326-343 (1986). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{M. Chandy} and \textit{J. Misra}, ACM Trans. Program. Lang. Syst. 8, 326--343 (1986; Zbl 0598.68031) Full Text: DOI Link
Zöbel, Dieter Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen. (Program-transforms for termination detection in distributed computations). (German) Zbl 0596.68029 Informationstechnik 28, 204-213 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{D. Zöbel}, Informationstechnik 28, 204--213 (1986; Zbl 0596.68029)
Saikkonen, Heikki; Rönn, Stefan Distributed termination on a ring. (English) Zbl 0594.68023 BIT 26, 188-194 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{H. Saikkonen} and \textit{S. Rönn}, BIT 26, 188--194 (1986; Zbl 0594.68023) Full Text: DOI
Kumar, Devendra A class of termination detection algorithms for distributed computations. (English) Zbl 0585.68043 Foundations of software technology and theoretical computer science, Proc. 5th Conf., New Delhi/India 1985, Lect. Notes Comput. Sci. 206, 73-100 (1985). MSC: 68N25 PDF BibTeX XML
Szymanski, Boleslaw; Shi, Yuan; Prywes, Noah S. Synchronized distributed termination. (English) Zbl 0568.68021 IEEE Trans. Software Eng. 11, 1136-1140 (1985). MSC: 68N25 PDF BibTeX XML Cite \textit{B. Szymanski} et al., IEEE Trans. Softw. Eng. 11, 1136--1140 (1985; Zbl 0568.68021) Full Text: DOI
Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M. Derivation of a termination detection algorithm for distributed computations. (English) Zbl 0566.68025 Control flow and data flow: concepts of distributed programming, Proc. NATO Adv. Study Inst., Marktoberdorf/Ger. 1984, NATO ASI Ser., Ser. F 14, 507-512 (1985). MSC: 68N25 PDF BibTeX XML
Rana, S. P. A distributed solution of the distributed termination problem. (English) Zbl 0509.68020 Inf. Process. Lett. 17, 43-46 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{S. P. Rana}, Inf. Process. Lett. 17, 43--46 (1983; Zbl 0509.68020) Full Text: DOI
Misra, Jayadev; Chandy, K. M. Termination detection of diffusing computations in communicating sequential processes. (English) Zbl 0479.68025 ACM Trans. Program. Lang. Syst. 4, 37-43 (1982). MSC: 68N25 PDF BibTeX XML Cite \textit{J. Misra} and \textit{K. M. Chandy}, ACM Trans. Program. Lang. Syst. 4, 37--43 (1982; Zbl 0479.68025) Full Text: DOI
Dijkstra, Edsger W.; Scholten, C. S. Termination detection for diffusing computations. (English) Zbl 0439.68039 Inf. Process. Lett. 11, 1-4 (1980). MSC: 68N25 PDF BibTeX XML Cite \textit{E. W. Dijkstra} and \textit{C. S. Scholten}, Inf. Process. Lett. 11, 1--4 (1980; Zbl 0439.68039) Full Text: DOI
Shamrikov, B. M.; Fursov, V. A. Estimation of the reliability of parametric identification of an object in adaptive control system. (English. Russian original) Zbl 0468.93076 Eng. Cybern. 17, No. 6, 142-149 (1979); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1979, No. 6, 173-180 (1979). MSC: 93E12 93C40 93E10 94A17 PDF BibTeX XML Cite \textit{B. M. Shamrikov} and \textit{V. A. Fursov}, Eng. Cybern. 17, No. 6, 142--149 (1979; Zbl 0468.93076); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1979, No. 6, 173--180 (1979)