MJRTY—A Fast Majority Vote Algorithm-Reference-Cited by-同舟云学术

MJRTY—A Fast Majority Vote Algorithm

Published:1991 Issue: Volume: Page:105-117
ISSN:0927-1023
Container-title:Automated Reasoning Series
language:
Short-container-title:

Author:

Boyer Robert S.,Moore J. Strother

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-011-3488-0_5.pdf

Reference11 articles.

1. American National Standards Institute, Inc. (1978): American National Standard Programming Language Fortran, ANSI X3.9–1978, 1430 Broadway, New York, N. Y.

2. R. B. Anderson (1979): Proving Programs Correct. New York: John Wiley and Sons.

3. R. S. Boyer and JS. Moore (1979): A Computational Logic. New York: Academic Press.

4. R.S. Boyer and JS. Moore (1981): A Verification Condition Generator for Fortran. In R. S. Boyer and J S. Moore, eds.: The Correctness Problem in Computer Science. London: Academic Press.

5. R. W. Floyd (1967): Assigning Meanings to Programs In: Mathematical Aspects of Computer Science, Proc. Symp. Appl. Math., 19. Providence, RI: American Mathematical Society.

Cited by 84 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MVPipe: Enabling Lightweight Updates and Fast Convergence in Hierarchical Heavy Hitter Detection;IEEE/ACM Transactions on Networking;2023-12

2. OneSketch: A Generic and Accurate Sketch for Data Streams;IEEE Transactions on Knowledge and Data Engineering;2023-12-01

3. PA-Sketch: A Fast and Accurate Sketch for Differentiated Flow Estimation;2023 IEEE 31st International Conference on Network Protocols (ICNP);2023-10-10

4. Catch the Intruder: Collaborative and Personalized Malware Detection By On-Device Application Fingerprinting;2023 IEEE International Conference on Web Services (ICWS);2023-07

5. The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05