Search results for "stopping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Shu-Tao Xia	A Note on the Stopping Redundancy of Linear Codes.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	stopping sets, stopping distance, stopping redundancy, iterative decoding, low-density parity-check (LDPC) codes
3	Cloud Makasu	Bounds for a constrained optimal stopping problem.	Optimization Letters	2009	DBLP DOI BibTeX RDF	Constrained optimal stopping problem, Lagrangian dual problem, Lagrangian multiplier
3	Imre Pólik, Tamás Terlaky	New stopping criteria for detecting infeasibility in conic optimization.	Optimization Letters	2009	DBLP DOI BibTeX RDF	Approximate Farkas theorem, Conic optimization, Infeasibility, Stopping criteria
3	Fabio Schoen	Stochastic Global Optimization: Stopping Rules.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Look-ahead rules, Bayesian stopping rule, Global optimization, Random sampling, Optimal stopping
3	José Luis Guerrero, Jesús García, Luis Martí, José Manuel Molina, Antonio Berlanga	A stopping criterion based on Kalman estimation techniques with several progress indicators.	GECCO	2009	DBLP DOI BibTeX RDF	MOOP, fusion architectures, Kalman filtering, stopping criterion, MOEAs
3	Changhao Zhai, Chengxin Xu, Xin Zhang 0001, Yafeng Wang	Research on stopping criterion for irregular LDPC codes decoding.	IWCMC	2009	DBLP DOI BibTeX RDF	belief propagation decoding, irregular LDPC codes, stopping criterion
3	João Ascenso, Fernando Pereira	Complexity efficient stopping criterion for LDPC based distributed video coding.	MobiMedia	2009	DBLP DOI BibTeX RDF	early stopping criterion, belief propagation, low density parity check codes, Wyner-Ziv video coding
3	Elaine G. Toms, Luanne Freund	Predicting stopping behaviour: a preliminary analysis.	SIGIR	2009	DBLP DOI BibTeX RDF	human experiment, stopping behaviour, interactive ir
3	Maureen Dostert, Diane Kelly	Users' stopping behaviors and estimates of recall.	SIGIR	2009	DBLP DOI BibTeX RDF	recall estimates, stopping behavior, user study, decision making
3	Michael D. Marcozzi	On the Approximation of Infinite Dimensional Optimal Stopping Problems with Application to Mathematical Finance.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Infinite dimensional diffusion, Mathematical finance, Finite element method, Variational methods, Optimal stopping
3	Hao Wu, Jonathan L. Shapiro	Parameter cross-validation and early-stopping in univariate marginal distribution algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	early-stopping, univariate marginal distribution algorithm (UMDA), cross-validation, overfitting
3	Sunisa Rimcharoen, Daricha Sutivong, Prabhas Chongstitvatana	A synthesis of optimal stopping time in compact genetic algorithm based on real options approach.	GECCO	2007	DBLP DOI BibTeX RDF	optimal stopping time, genetic algorithms, real options
3	Luis Martí, Jesús García, Antonio Berlanga, José Manuel Molina	A cumulative evidential stopping criterion for multiobjective optimization evolutionary algorithms.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	multiobjective optimization evolutionary algorithms, stopping criterion, MOEAs
3	Luis Martí, Jesús García, Antonio Berlanga, José Manuel Molina	A cumulative evidential stopping criterion for multiobjective optimization evolutionary algorithms.	GECCO	2007	DBLP DOI BibTeX RDF	stopping criterion, MOEAs
3	Dong Zheng, Weiyan Ge, Junshan Zhang	Distributed opportunistic scheduling for ad-hoc communications: an optimal stopping approach.	MobiHoc	2007	DBLP DOI BibTeX RDF	distributed opportunistic scheduling, ad-hoc networks, game theory, optimal stopping
3	Anastasia Kolodko, John Schoenmakers	Iterative construction of the optimal Bermudan stopping time.	Finance and Stochastics	2006	DBLP DOI BibTeX RDF	Bermudan options, LIBOR market model, Monte Carlo simulation, optimal stopping
3	Kang Chul Kim, Chang-Gyoon Lim, Jae Hung Yoo, Seok Bung Han	Simulation Cost Reduction Strategies for Behavioral Model Verification in Bayesian Based Stopping Rule.	EUC	2006	DBLP DOI BibTeX RDF	behavioral VHDL model, semi-random variable, Verification, stopping rule, branch coverage
3	German Hernandez, Kenneth Wilder, Fernando Niño, Julian Garcia	Towards a self-stopping evolutionary algorithm using coupling from the past.	GECCO	2005	DBLP DOI BibTeX RDF	coupling from the past, optimization, algorithms, evolutionary, stopping criteria
3	Martín Darío Safe, Jessica Andrea Carballido, Ignacio Ponzoni, Nélida Beatriz Brignole	On Stopping Criteria for Genetic Algorithms.	SBIA	2004	DBLP DOI BibTeX RDF	genetic algorithm, Markov chains, convergence analysis, stopping rule
3	Max-Olivier Hongler, Fabrice Dusonchet	Optimal Stopping and Gittins' Indices for Piecewise Deterministic Evolution Processes.	Discrete Event Dynamic Systems	2001	DBLP DOI BibTeX RDF	dynamic allocation of jobs, piecewise-deterministic processes, continuous time Gittins' indices, optimal stopping
3	R. Baker Kearfott, G. William Walster	On stopping criteria in verified nonlinear systems or optimization algorithms.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	GlobSol, verified computations, stopping criteria
3	Tom Chen, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu	How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Behavioral Model Testing, Compound Poisson, Effort-Domain, Empirical Bayesian Analysis, Negative Binomial Distribution (NBD), Poisson LSD, Testing Strategy, Stopping Rule
3	Bev Littlewood, David Wright	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
3	Michael J. Black, Guillermo Sapiro, David H. Marimont, David Heeger	Robust Anisotropic Diffusion and Sharpening of Scalar and Vector Images. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	robust anisotropic diffusion, robust anisotropic sharpening, scalar images, piecewise smooth image estimation, noisy input image, edge-stopping function, anisotropic diffusion equation, error norm, biweight robust estimator, automatic stopping, image boundaries detection, piecewise smooth regions, robust image sharpening, image segmentation, image enhancement, robust estimation, robust statistics, vector images, influence function
3	Siddhartha R. Dalal, Allen A. McIntosh	When to Stop Testing for Large Software Systems with Changing Code.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	changing code, economic framework, real time trial, software testers, Net Benefit Plot, Stopping Plot, diagnostic plots, optimal stopping rule, graphical methods, software fault detection, computer graphics, software metrics, software metrics, software reliability, program testing, statistical inference, software reliability model, large software systems
2	George V. Moustakides, Vassilios S. Verykios	Optimal Stopping: A Record-Linkage Approach.	J. Data and Information Quality	2009	DBLP DOI BibTeX RDF	Record-linkage, duplicate detection, optimal stopping
2	Urs Niesen, Aslan Tchamkerten	Tracking Stopping Times Through Noisy Observations.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	Dong Zheng, Weiyan Ge, Junshan Zhang	Distributed Opportunistic Scheduling for Ad Hoc Networks With Random Access: An Optimal Stopping Approach.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	Ernesto G. Birgin, Marcos Raydan	Dykstra's Algorithm and Robust Stopping Criteria.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Alternating projection methods, Dykstra's algorithm, Convex optimization, Stopping criteria
2	Jiaqing Luo, Bin Xiao, Guobin Liu, Qingjun Xiao, Shijie Zhou	Modeling and analysis of self-stopping BTWorms using dynamic hit list in P2P networks.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Luis Javier Herrera, Ginés Rubio, Héctor Pomares, Ben Paechter, Alberto Guillén, Ignacio Rojas	Strengthening the Forward Variable Selection Stopping Criterion.	ICANN	2009	DBLP DOI BibTeX RDF	Mutual Information, Function Approximation, Variable Selection
2	Marios Poulakis, Stavroula Vassaki, Stathes Hadjiefthymiades	Proactive radio resource management using optimal stopping theory.	WOWMOM	2009	DBLP DOI BibTeX RDF
2	Ted Pedersen	Improved Unsupervised Name Discrimination with Very Wide Bigrams and Automatic Cluster Stopping.	CICLing	2009	DBLP DOI BibTeX RDF
2	Tao Shu, Marwan Krunz	Throughput-efficient sequential channel sensing and probing in cognitive radio networks under sensing errors.	MOBICOM	2009	DBLP DOI BibTeX RDF	optimal stopping theory, spectrum sensing and probing, cognitive radio networks, opportunistic spectrum access
2	Cong Liu, Jie Wu	An optimal probabilistic forwarding protocolin delay tolerant networks.	MobiHoc	2009	DBLP DOI BibTeX RDF	optimal stopping rule, routing, delay tolerant networks
2	Nicholas D. Pattengale, Masoud Alipour, Olaf R. P. Bininda-Emonds, Bernard M. E. Moret, Alexandros Stamatakis	How Many Bootstrap Replicates Are Necessary?	RECOMB	2009	DBLP DOI BibTeX RDF	Support Value, Bootstopping, Bootstrap, Maximum Likelihood, Stopping Criterion, Phylogenetic Inference
2	Luke Akong'o Orawo, J. Andrés Christen	Bayesian sequential analysis for multiple-arm clinical trials.	Statistics and Computing	2009	DBLP DOI BibTeX RDF	Backward Induction, One-arm look-ahead approximation, Clinical trials, Expected Utility, Stopping rule
2	Guy Gilboa	Nonlinear Scale Space with Spatially Varying Stopping Time.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
2	R. Boumen, I. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda	Risk-Based Stopping Criteria for Test Sequencing.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
2	Eirik Rosnes	Stopping Set Analysis of Iterative Row-Column Decoding of Product Codes.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Jos H. Weber, Khaled A. S. Abdel-Ghaffar	Results on Parity-Check Matrices With Optimal Stopping And/Or Dead-End Set Enumerators.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Tadashi Wadayama	Average Stopping Set Weight Distributions of Redundant Random Ensembles.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Thorsten Hehn, Olgica Milenkovic, Stefan Laendner, Johannes B. Huber	Permutation Decoding and the Stopping Redundancy Hierarchy of Cyclic and Extended Cyclic Codes.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Chotirat Ann Ratanamahatana, Dachawut Wanichsan	Stopping Criterion Selection for Efficient Semi-supervised Time Series Classification.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF
2	Shinichi Sakai, Tatsuya Kawahara, Shun Nakamura	Admissible stopping in viterbi beam search for unit selection in concatenative speech synthesis.	ICASSP	2008	DBLP DOI BibTeX RDF
2	Eva Rifkah, Aishy Amer	Fast automated stopping-time and edge-strength estimation for anisotropic diffusion.	ICASSP	2008	DBLP DOI BibTeX RDF
2	Sanjay Kumar Khattri	Stopping Criterion for Adaptive Algorithm.	ICCS	2008	DBLP DOI BibTeX RDF
2	Junshan Zhang	Threshold structure of channel aware distributed scheduling in ad-hoc networks: An optimal stopping view.	CISS	2008	DBLP DOI BibTeX RDF
2	Maben Rabi, Karl Henrik Johansson, Mikael Johansson	Optimal stopping for event-triggered sensing and actuation.	CDC	2008	DBLP DOI BibTeX RDF
2	Christos Dimitrakakis, Christian Savu-Krohn	Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning.	FoIKS	2008	DBLP DOI BibTeX RDF
2	Vojtech Franc, Pavel Laskov, Klaus-Robert Müller	Stopping conditions for exact computation of leave-one-out error in support vector machines.	ICML	2008	DBLP DOI BibTeX RDF
2	Volodymyr Mnih, Csaba Szepesvári, Jean-Yves Audibert	Empirical Bernstein stopping.	ICML	2008	DBLP DOI BibTeX RDF
2	Lamartine Almeida Teixeira, Felipe T. G. Oliveira, Adriano L. I. Oliveira, Carmelo J. A. Bastos Filho	Adjusting Weights and Architecture of Neural Networks through PSO with Time-Varying Parameters and Early Stopping.	SBRN	2008	DBLP DOI BibTeX RDF
2	Peter Frazier, Warren B. Powell	The knowledge-gradient stopping rule for ranking and selection.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	Vijay Erramilli, Mark Crovella, Augustin Chaintreau, Christophe Diot	Delegation forwarding.	MobiHoc	2008	DBLP DOI BibTeX RDF	mobile opportunistic networks, delay-tolerant networks, optimal stopping, pocket switched networks, forwarding algorithms
2	Manuela L. Bujorianu, John Lygeros, Rom Langerak	Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.	HSCC	2008	DBLP DOI BibTeX RDF	Stochastic hybrid systems, reachability problem, Markov processes, optimal stopping
2	Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee	Model Driven Testing Based on Test History.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	Petri nets, software testing, transition systems, stopping criterion
2	Stefan Laendner, Olgica Milenkovic	LDPC Codes Based on Latin Squares: Cycle Structure, Stopping Set, and Trapping Set Analysis.	IEEE Transactions on Communications	2007	DBLP DOI BibTeX RDF
2	Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour	Simulated annealing applied to test generation: landscape characterization and stopping criteria.	Empirical Software Engineering	2007	DBLP DOI BibTeX RDF	Metaheuristic search, Measurement, Software testing, Simulated annealing
2	Fan-Min Li, An-Yeu Wu	On the New Stopping Criteria of Iterative Turbo Decoding by Using Decoding Threshold.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
2	Junsheng Han, Paul H. Siegel	Improved Upper Bounds on Stopping Redundancy.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
2	Khaled A. S. Abdel-Ghaffar, Jos H. Weber	Complete Enumeration of Stopping Sets of Full-Rank Parity-Check Matrices of Hamming Codes.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
2	K. Murali Krishnan, Priti Shankar	Computing the Stopping Distance of a Tanner Graph Is NP-Hard.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
2	Eirik Rosnes, Øyvind Ytrehus	Turbo Decoding on the Binary Erasure Channel: Finite-Length Analysis and Turbo Stopping Sets.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
2	Ramunas Girdziusas, Jorma Laaksonen	How Marginal Likelihood Inference Unifies Entropy, Correlation and SNR-Based Stopping in Nonlinear Diffusion Scale-Spaces.	ACCV	2007	DBLP DOI BibTeX RDF
2	Tomasz Adamek, Noel E. O'Connor	Stopping Region-Based Image Segmentation at Meaningful Partitions.	SAMT	2007	DBLP DOI BibTeX RDF
2	Sunisa Rimcharoen, Daricha Sutivong, Prabhas Chongstitvatana	Optimal stopping time of compact genetic algorithm on deceptive problem using real options analysis.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
2	Terry Windeatt, Matthew Prior	Stopping Criteria for Ensemble-Based Feature Selection.	MCS	2007	DBLP DOI BibTeX RDF	RFE, feature selection, Multiple Classifiers, ECOC
2	Oliver Skroch, Klaus Turowski	Improving service selection in component-based architectures with optimal stopping.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
2	Donghyuk Shin, Kyoungwoo Heo, Sangbong Oh, Jeongseok Ha	A Stopping Criterion for Low-Density Parity-Check Codes.	VTC Spring	2007	DBLP DOI BibTeX RDF
2	Dirk Kukulenz, Alexandros Ntoulas	Answering bounded continuous search queries in the world wide web.	WWW	2007	DBLP DOI BibTeX RDF	monitoring search, continuous queries, optimal stopping
2	James F. Peters	Toward Approximate Adaptive Learning.	RSEISP	2007	DBLP DOI BibTeX RDF	Actor-critic, behaviour pattern, stopping time, perception, adaptive learning, approximation space
2	Luis Mendo, José M. Hernando	A simple sequential stopping rule for Monte Carlo Simulation.	IEEE Transactions on Communications	2006	DBLP DOI BibTeX RDF
2	Tuvi Etzion	On the Stopping Redundancy of Reed-Muller Codes.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
2	V. Rathi	On the Asymptotic Weight and Stopping Set Distribution of Regular LDPC Ensembles.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
2	Moshe Schwartz, Alexander Vardy	On the stopping distance and the stopping redundancy of codes.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
2	Lei Li, Qin Wang, Cheng Youn Lu	A Novel Stopping Criterion for Turbo Decoding.	ICICIC	2006	DBLP DOI BibTeX RDF
2	Magnus Bordewich, Martin E. Dyer, Marek Karpinski	Stopping Times, Metrics and Approximate Counting.	ICALP	2006	DBLP DOI BibTeX RDF
2	Chris Urmson	Driving Beyond Stopping Distance Constraints.	IROS	2006	DBLP DOI BibTeX RDF
2	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures.	SIROCCO	2006	DBLP DOI BibTeX RDF
2	Kamran Shafi, Hussein A. Abbass, Weiping Zhu 0001	The Role of Early Stopping and Population Size in XCS for Intrusion Detection.	SEAL	2006	DBLP DOI BibTeX RDF
2	K. Murali Krishnan, L. Sunil Chandran	Hardness of Approximation Results for the Problem of Finding the Stopping Distance in Tanner Graphs.	FSTTCS	2006	DBLP DOI BibTeX RDF
2	David Choi, Benjamin Van Roy	A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal-Difference Learning.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Dynamic programming, Reinforcement learning, Kalman filter, Queueing, Temporal-difference learning, Optimal stopping, Recursive least-squares
2	Alon Orlitsky, Krishnamurthy Viswanathan, Junan Zhang	Stopping set distribution of LDPC code ensembles.	IEEE Transactions on Information Theory	2005	DBLP DOI BibTeX RDF
2	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures.	PRDC	2005	DBLP DOI BibTeX RDF
2	Justin Ma, Geoffrey M. Voelker, Stefan Savage	Self-stopping worms.	WORM	2005	DBLP DOI BibTeX RDF	self-stop, malware, worms, distributed protocols
2	Ramunas Girdziusas, Jorma Laaksonen	Optimal Stopping and Constraints for Diffusion Models of Signals with Discontinuities.	ECML	2005	DBLP DOI BibTeX RDF
2	Magnus Bordewich, Martin E. Dyer, Marek Karpinski	Path Coupling Using Stopping Times.	FCT	2005	DBLP DOI BibTeX RDF
2	Glenn J. Browne, Mitzi G. Pitts, James C. Wetherbe	Stopping Rule Use During Web-Based Search.	HICSS	2005	DBLP DOI BibTeX RDF
2	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes.	PaCT	2005	DBLP DOI BibTeX RDF
2	Krzysztof Michalak, Rafal Raciborski	Dynamic Correlation Approach to Early Stopping in Artificial Neural Network Training. Macroeconomic Forecasting Example.	ISDA	2005	DBLP DOI BibTeX RDF
2	Wen-Ta Lee, San-Ho Lin, Chia-Chun Tsai, Trong-Yen Lee, Yuh-Shyan Hwang	A new low-power turbo decoder using HDA-DHDD stopping iteration.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Carole Delporte-Gallet, Hugues Fauconnier, Stephanie Lorraine Horn, Sam Toueg	Fast fault-tolerant agreement algorithms.	PODC	2005	DBLP DOI BibTeX RDF	dirty crashes, early-stopping, terminating reliable broadcast, lower bounds, consensus
2	Fabien Lauer, Mohamed Bentoumi, Gérard Bloch, Gilles Millerioux, Patrice Aknin	Ho-Kashyap with Early Stopping Versus Soft Margin SVM for Linear Classifiers - An Application.	ISNN	2004	DBLP DOI BibTeX RDF
2	Johannes Fürnkranz, Peter A. Flach	An Analysis of Stopping and Filtering Criteria for Rule Learning.	ECML	2004	DBLP DOI BibTeX RDF
2	Marcos Moecke, Rui Seara	Rate-distortion optimized video coding with stopping rules: quality and complexity.	ICIP	2004	DBLP DOI BibTeX RDF
2	Stacy J. Prowell	A Cost-Benefit Stopping Criterion for Statistical Testing.	HICSS	2004	DBLP DOI BibTeX RDF
2	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
2	Søren Asmussen, Mats Pihlsgård	Transient Properties of Many-Server Queues and Related QBDs.	Queueing Syst.	2004	DBLP DOI BibTeX RDF	exponential martingale, first passage problem, heterogeneous servers, Kella-Whitt martingale, Lévy process, MMM/MMM/c queue, optional stopping, buffer overflow, Laplace transform, Markov additive process, birth-death process
2	Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal	Early Stopping in Global Data Computation.	IEEE Trans. Parallel Distrib. Syst.	2003	DBLP DOI BibTeX RDF	early stopping, global data, perfect failure detector, fault tolerance, reliability, distributed computing, Asynchronous distributed systems, crash failure