|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou |
Static Local Concurrency Errors Detection in MPI-RMA Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 18-26, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Simon Schwitanski, Joachim Jenke, Felix Tomski, Christian Terboven, Matthias S. Müller |
On-the-Fly Data Race Detection for MPI RMA Programs with MUST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 27-36, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Winson Chen, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao, Murali Emani |
Early Experience with Transformer-Based Similarity Analysis for DataRaceBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 45-53, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Demmel, Jack J. Dongarra, Mark Gates, Greg Henry, Julien Langou, Xiaoye S. Li, Piotr Luszczek, Weslley S. Pereira, E. Jason Riedy, Cindy Rubio-González |
Proposed Consistent Exception Handling for the BLAS and LAPACK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 1-9, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar |
MiniKokkos: A Calculus of Portable Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 37-44, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar |
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 54-62, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![IEEE, 978-1-6654-6335-5 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette |
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 10-17, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pei-Hung Lin, Chunhua Liao |
High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Protze, Isabel Thärigen, Jonas Wahle |
Understanding the Performance of Dynamic Data Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 33-40, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David H. Bailey |
Finding large Poisson polynomials using four-level variable precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Laurent, Emmanuelle Saillard, Martin Quinson |
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 1-9, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![IEEE, 978-1-6654-2061-7 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang 0001 |
OpenRace: An Open Source Framework for Statically Detecting Data Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 25-32, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li 0006, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock |
Guarding Numerics Amidst Rising Heterogeneity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 9-15, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samuel D. Pollard, Boyana Norris |
A Statistical Analysis of Error in MPI Reduction Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 49-57, 2020, IEEE, 978-0-7381-1044-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Müller |
Towards compiler-aided correctness checking of adjoint MPI applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 40-48, 2020, IEEE, 978-0-7381-1044-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault |
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 31-39, 2020, IEEE, 978-0-7381-1044-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang 0001 |
Correctness-preserving Compression of Datasets and Neural Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 1-9, 2020, IEEE, 978-0-7381-1044-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gaurav Verma, Yaying Shi, Chunhua Liao, Barbara M. Chapman, Yonghong Yan 0001 |
Enhancing DataRaceBench for Evaluating Data Race Detection Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 20-30, 2020, IEEE, 978-0-7381-1044-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vanessa Job, Terry Grové, Shane Fogerty, Christopher Mauney, Brett Neuman, Laura Monroe, Robert W. Robey |
Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 10-19, 2020, IEEE, 978-0-7381-1044-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![IEEE, 978-0-7381-1044-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin |
Exploring Regression of Data Race Detection Tools Using DataRaceBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019, pp. 11-18, 2019, IEEE, 978-1-7281-6015-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock |
Toward Multi-Precision, Multi-Format Numerics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019, pp. 19-26, 2019, IEEE, 978-1-7281-6015-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan |
Tool Integration for Source-Level Mixed Precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019, pp. 27-35, 2019, IEEE, 978-1-7281-6015-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | François Févotte, Bruno Lathuilière |
Debugging and Optimization of HPC Programs with the Verrou Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019, pp. 1-10, 2019, IEEE, 978-1-7281-6015-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Milroy, Allison H. Baker, John M. Dennis, Andrew Gettelman |
Investigating the Impact of Mixed Precision on Correctness for a Large Climate Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019, pp. 44-51, 2019, IEEE, 978-1-7281-6015-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Dyer, Alper Altuntas, John W. Baugh Jr. |
Bounded Verification of Sparse Matrix Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019, pp. 36-43, 2019, IEEE, 978-1-7281-6015-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![IEEE, 978-1-7281-6015-3 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy |
HPC Software Verification in Action: A Case Study with Tensor Transposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 9-16, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken |
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 17-24, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault |
PARCOACH Extension for a Full-Interprocedural Collectives Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 69-76, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hück, Jan-Patrick Lehr, Sebastian Kreutzer, Joachim Protze, Christian Terboven, Christian H. Bischof, Matthias S. Müller |
Compiler-aided Type Tracking for Correctness Checking of MPI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 51-58, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![IEEE, 978-1-7281-0226-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Noah Evans |
Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 25-32, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alper Altuntas, John W. Baugh Jr. |
Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 1-8, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bradley Swain, Jeff Huang 0001 |
Towards Incremental Static Race Detection in OpenMP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 33-41, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar |
Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 42-50, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ziqing Luo, Stephen F. Siegel |
Towards Deductive Verification of Message-Passing Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018, pp. 59-68, 2018, IEEE, 978-1-7281-0226-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Allison H. Baker, Daniel J. Milroy, Dorit M. Hammerling, Haiying Xu |
Quality Assurance and Error Identification for the Community Earth System Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 8-13, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon |
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 34-41, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange 0001, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland |
Towards Self-Verification in Finite Difference Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 42-49, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alper Altuntas, John W. Baugh Jr. |
Verifying Concurrency in an Adaptive Ocean Circulation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 1-7, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | The Anh Pham 0001, Thierry Jéron, Martin Quinson |
Verifying MPI Applications with SimGridMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 28-33, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Lee 0003, Tze Meng Low |
A Family of Provably Correct Algorithms for Exact Triangle Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 14-20, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![ACM, 978-1-4503-5127-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Protze, Christian Terboven, Matthias S. Müller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku |
Runtime Correctness Checking for Emerging Programming Paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORRECTNESS@SC ![In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, pp. 21-27, 2017, ACM, 978-1-4503-5127-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|