|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | 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 |
|
60 | 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 |
|
60 | 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 |
|
60 | 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 |
|
60 | 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 |
|
60 | 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 |
|
48 | Fernando Ferri, Elaheh Pourabbas, Maurizio Rafanelli |
The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 432-437, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
pictorial query languages, syntactic correctness, geographic data, semantic correctness |
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
48 | 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 |
|
47 | David Sands |
Total Correctness by Local Improvement in the Transformation of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(2), pp. 175-234, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
operational equivalence, unfold-fold, program transformation, correctness, improvement |
46 | Panagiotis Manolios |
Correctness of Pipelined Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 161-178, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Susan L. Gerhart |
Correctness-Preserving Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975, pp. 54-66, 1975, ACM Press. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
43 | Sandeep S. Kulkarni, Karun N. Biyani |
Correctness of Component-Based Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, pp. 48-58, 2004, Springer, 3-540-21998-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Verification, Correctness, Dynamic Adaptation |
40 | Henri B. Weinberg, Nancy A. Lynch |
Correctness of vehicle control systems-a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 62-72, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification |
40 | Kunal Agrawal, Charles E. Leiserson, Jim Sukha |
Memory models for open-nested transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 70-81, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Jinpeng Huai, Ting Deng, Xianxian Li, Zongxia Du, Huipeng Guo |
AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(9), pp. 1534-1549, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
correctness constraints, L* algorithm, synthesis, composite service, business protocol |
39 | Linh Thao Ly, Stefanie Rinderle, Peter Dadam |
Semantic Correctness in Adaptive Process Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 193-208, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Semantic Process Verification, Adaptive Process Management Systems, Semantic Constraints, Semantic Correctness |
39 | Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
Semantic Conditions for Correctness at Different Isolation Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 57-66, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Serializability, Semantic Correctness, Isolation Levels |
39 | Zachary Tatlock, Sorin Lerner |
Bringing extensibility to verified compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 111-121, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, extensibility |
39 | David F. Bacon, Yiling Chen 0001, David C. Parkes, Malvika Rao |
A market-based approach to software evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 973-980, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software correctness, mechanism design, markets |
39 | James F. Davis |
The affordable application of formal methods to software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 57-62, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
trust, correctness, proven, engineering, formal |
38 | Alok Garg, Michael C. Huang 0001 |
A performance-correctness explicitly-decoupled architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy, pp. 306-317, 2008, IEEE Computer Society, 978-1-4244-2836-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Joonhyuk Yoo, Manoj Franklin |
Prioritizing verification via value-based correctness criticality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 333-340, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | David Sands 0001 |
Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 221-232, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Hao Hu 0001, Jian Lu 0001 |
Preserving Data Flow Correctness in Process Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010, pp. 9-16, 2010, IEEE Computer Society, 978-0-7695-4126-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Data Flow Correctness, BPEL, Correctness-by-Construction, Process Adaptation |
36 | Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) |
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![Springer, 978-3-642-11511-0 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001 |
A Small Step for Mankind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 66-73, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Frank S. de Boer |
Reasoning about Recursive Processes in Shared-Variable Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 127-141, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | E. Allen Emerson |
Meanings of Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 237-249, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe |
Concurrent Objects à la Carte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 185-206, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Dines Bjørner, Asger Eir |
Compositionality: Ontology and Mereology of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 22-59, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Peter van Emde Boas |
Playing Savitch and Cooking Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 10-21, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Manfred Broy |
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 118-126, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Proving the Refuted: Symbolic Model Checkers as Proof Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 221-236, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Jan Peleska 0001 |
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 277-299, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Hans Langmaack |
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 74-95, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Counterexample Guided Path Reduction for Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 322-341, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Ernst-Rüdiger Olderog, Andreas Podelski |
Explicit Fair Scheduling for Dynamic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 96-117, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Kai Engelhardt, Ralf Huuck |
Smaller Abstractions for FOR ALL CTL* without Next. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 250-259, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Jozef Hooman, Marcel Verhoef |
Formal Semantics of a VDM Extension for Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 142-161, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Leslie Lamport |
Computer Science and State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 60-65, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland |
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 260-276, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech |
Automated Proofs for Asymmetric Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 300-321, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Dennis Dams, Ulrich Hannemann, Martin Steffen |
A Bibliography of Willem-Paul de Roever. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 1-9, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Shivali Agarwal, R. K. Shyamasundar |
A Proof System for a PGAS Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 162-184, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | David Harel, Amir Kantor, Shahar Maoz |
On the Power of Play-Out for Scenario-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 207-220, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Antony L. Hosking, Ali-Reza Adl-Tabatabai (eds.) |
Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![ACM, 1-59593-578-9 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
36 | Shoaib Kamil 0001, Kaushik Datta, Samuel Williams 0001, Leonid Oliker, John Shalf, Katherine A. Yelick |
Implicit and explicit optimizations for stencil computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 51-60, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Lei Jin 0002, Hyunjin Lee, Sangyeun Cho |
A flexible data to L2 cache mapping approach for future multicore processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 92-101, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
non-uniform cache architecture (NUCA), page allocation |
36 | Mojtaba Mehrara, Todd M. Austin |
Reliability-aware data placement for partial memory protection in embedded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 11-18, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
memory lifetime, partial memory protection, selective data placement, embedded systems, soft errors |
36 | Benjamin Hindman, Dan Grossman |
Atomicity via source-to-source translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 82-91, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, transactional memory, concurrent programming, atomicity |
36 | Melissa E. O'Neill, F. Warren Burton |
Smarter garbage collection with simplifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 19-30, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lightweight daemon, simplifier, weak pointer, finalizer |
36 | Dan Grossman, Jeremy Manson, William W. Pugh |
What do high-level memory models mean for transactions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 62-69, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Jinzhan Peng, Guei-Yuan Lueh, Gansha Wu, Xiaogang Gou, Ryan N. Rakvic |
A comprehensive study of hardware/software approaches to improve TLB performance for java applications on embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 102-111, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
TLB performance, Java, embedded system |
36 | Michael D. Adams 0001, David S. Wise |
Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 41-50, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Morton-hybrid, parallel processing, paging, quadtrees, Cholesky factorization, cache misses, TLB |
36 | Gregory Buehrer, Yen-Kuang Chen, Srinivasan Parthasarathy 0001, Anthony D. Nguyen, Amol Ghoting, Daehyun Kim 0001 |
Efficient pattern mining on shared memory systems: implications for chip multiprocessor architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 31-40, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | David A. Wood 0001 |
Keynote talk challenges in chip multiprocessor memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 61, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus |
Deconstructing process isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 1-10, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity |
35 | Rachid Guerraoui, Michal Kapalka |
On the correctness of transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 175-184, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model, lower bound, transactional memory, correctness |
35 | Kamel Adi, Liviu Pene |
Secrecy Correctness for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFMA ![In: 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 6-9 February 2005, Besançon, France, pp. 22-29, 2005, IEEE Computer Society, 0-7695-2273-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Protocol Correctness, Security Protocols, Formal Analysis, Secrecy |
35 | Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones |
A framework for superscalar microprocessor correctness statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(3), pp. 298-312, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Microprocessor correctness, Commuting diagrams, Formal verification, Pipelines |
Displaying result #1 - #100 of 8775 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|