[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/647169.718145guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Deriving Parallel Codes via Invariants

Published: 29 June 2000 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2013)A generate-test-aggregate parallel programming libraryProceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2442992.2443000(71-81)Online publication date: 23-Feb-2013
  • (2012)Generate, test, and aggregateProceedings of the 21st European conference on Programming Languages and Systems10.1007/978-3-642-28869-2_13(254-273)Online publication date: 24-Mar-2012
  • (2010)Automatic parallelization of recursive functions using quantifier eliminationProceedings of the 10th international conference on Functional and Logic Programming10.1007/978-3-642-12251-4_23(321-336)Online publication date: 19-Apr-2010
  • Show More Cited By
  1. Deriving Parallel Codes via Invariants

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    SAS '00: Proceedings of the 7th International Symposium on Static Analysis
    June 2000
    432 pages
    ISBN:3540676686

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 29 June 2000

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 26 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2013)A generate-test-aggregate parallel programming libraryProceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2442992.2443000(71-81)Online publication date: 23-Feb-2013
    • (2012)Generate, test, and aggregateProceedings of the 21st European conference on Programming Languages and Systems10.1007/978-3-642-28869-2_13(254-273)Online publication date: 24-Mar-2012
    • (2010)Automatic parallelization of recursive functions using quantifier eliminationProceedings of the 10th international conference on Functional and Logic Programming10.1007/978-3-642-12251-4_23(321-336)Online publication date: 19-Apr-2010
    • (2009)Optimizing the parallel computation of linear recurrences using compact matrix representationsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2009.01.00469:4(373-381)Online publication date: 1-Apr-2009

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media