The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase s-correctness (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1972 (25) 1973-1974 (23) 1975 (19) 1976 (22) 1977 (25) 1978 (28) 1979 (25) 1980 (39) 1981 (32) 1982 (32) 1983 (33) 1984 (32) 1985 (33) 1986 (41) 1987 (44) 1988 (93) 1989 (103) 1990 (84) 1991 (83) 1992 (103) 1993 (98) 1994 (138) 1995 (139) 1996 (156) 1997 (168) 1998 (222) 1999 (254) 2000 (300) 2001 (281) 2002 (369) 2003 (432) 2004 (565) 2005 (645) 2006 (691) 2007 (727) 2008 (799) 2009 (496) 2010 (172) 2011 (74) 2012 (89) 2013 (74) 2014 (81) 2015 (78) 2016 (87) 2017 (83) 2018 (90) 2019 (104) 2020 (100) 2021 (93) 2022 (99) 2023 (118) 2024 (34)
Publication types (Num. hits)
article(1892) book(14) incollection(44) inproceedings(6728) phdthesis(82) proceedings(15)
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
60Alexander 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 CORRECTNESS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
60Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang 0001 Correctness-preserving Compression of Datasets and Neural Network Models. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
60Daniel 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 CORRECTNESS@SC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
60Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
60Alexander 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 CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
60Joachim 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 CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Fernando Ferri, Elaheh Pourabbas, Maurizio Rafanelli The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF pictorial query languages, syntactic correctness, geographic data, semantic correctness
48Ignacio 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 Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou Static Local Concurrency Errors Detection in MPI-RMA Programs. Search on Bibsonomy Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Simon 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 Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Winson Chen, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao, Murali Emani Early Experience with Transformer-Based Similarity Analysis for DataRaceBench. Search on Bibsonomy Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48James 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 Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar MiniKokkos: A Calculus of Portable Parallelism. Search on Bibsonomy Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. Search on Bibsonomy Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette Towards Verified Rounding Error Analysis for Stationary Iterative Methods. Search on Bibsonomy Correctness@SC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Ignacio 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 Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Pei-Hung Lin, Chunhua Liao High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench. Search on Bibsonomy Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Joachim Protze, Isabel Thärigen, Jonas Wahle Understanding the Performance of Dynamic Data Race Detection. Search on Bibsonomy Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48David H. Bailey Finding large Poisson polynomials using four-level variable precision. Search on Bibsonomy Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Mathieu Laurent, Emmanuelle Saillard, Martin Quinson The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. Search on Bibsonomy Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Bradley 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 Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li 0006, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock Guarding Numerics Amidst Rising Heterogeneity. Search on Bibsonomy Correctness@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Ignacio 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 Correctness@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
48Samuel D. Pollard, Boyana Norris A Statistical Analysis of Error in MPI Reduction Operations. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
48Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
48Gaurav Verma, Yaying Shi, Chunhua Liao, Barbara M. Chapman, Yonghong Yan 0001 Enhancing DataRaceBench for Evaluating Data Race Detection Tools. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
48Vanessa 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 CORRECTNESS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
48Ignacio 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 CORRECTNESS@SC The full citation details ... 2019 DBLP  BibTeX  RDF
48Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin Exploring Regression of Data Race Detection Tools Using DataRaceBench. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
48David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock Toward Multi-Precision, Multi-Format Numerics. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
48Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan Tool Integration for Source-Level Mixed Precision. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
48François Févotte, Bruno Lathuilière Debugging and Optimization of HPC Programs with the Verrou Tool. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
48Tristan Dyer, Alper Altuntas, John W. Baugh Jr. Bounded Verification of Sparse Matrix Computations. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
48Ignacio 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 CORRECTNESS@SC The full citation details ... 2018 DBLP  BibTeX  RDF
48Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy HPC Software Verification in Action: A Case Study with Tensor Transposition. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault PARCOACH Extension for a Full-Interprocedural Collectives Verification. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Noah Evans Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Alper Altuntas, John W. Baugh Jr. Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Bradley Swain, Jeff Huang 0001 Towards Incremental Static Race Detection in OpenMP Programs. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Fangke 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 CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Ziqing Luo, Stephen F. Siegel Towards Deductive Verification of Message-Passing Parallel Programs. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Ignacio 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 CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Allison H. Baker, Daniel J. Milroy, Dorit M. Hammerling, Haiying Xu Quality Assurance and Error Identification for the Community Earth System Model. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Jan 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 CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Alper Altuntas, John W. Baugh Jr. Verifying Concurrency in an Adaptive Ocean Circulation Model. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48The Anh Pham 0001, Thierry Jéron, Martin Quinson Verifying MPI Applications with SimGridMC. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
48Matthew Lee 0003, Tze Meng Low A Family of Provably Correct Algorithms for Exact Triangle Counting. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47David Sands Total Correctness by Local Improvement in the Transformation of Functional Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF operational equivalence, unfold-fold, program transformation, correctness, improvement
46Panagiotis Manolios Correctness of Pipelined Machines. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Susan L. Gerhart Correctness-Preserving Program Transformations. Search on Bibsonomy POPL The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
43Sandeep S. Kulkarni, Karun N. Biyani Correctness of Component-Based Adaptation. Search on Bibsonomy CBSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Verification, Correctness, Dynamic Adaptation
40Henri B. Weinberg, Nancy A. Lynch Correctness of vehicle control systems-a case study. Search on Bibsonomy RTSS The full citation details ... 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
40Kunal Agrawal, Charles E. Leiserson, Jim Sukha Memory models for open-nested transactions. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Jinpeng 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 Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF correctness constraints, L* algorithm, synthesis, composite service, business protocol
39Linh Thao Ly, Stefanie Rinderle, Peter Dadam Semantic Correctness in Adaptive Process Management Systems. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Semantic Process Verification, Adaptive Process Management Systems, Semantic Constraints, Semantic Correctness
39Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Semantic Conditions for Correctness at Different Isolation Levels. Search on Bibsonomy ICDE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Serializability, Semantic Correctness, Isolation Levels
39Zachary Tatlock, Sorin Lerner Bringing extensibility to verified compilers. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compiler optimization, correctness, extensibility
39David F. Bacon, Yiling Chen 0001, David C. Parkes, Malvika Rao A market-based approach to software evolution. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software correctness, mechanism design, markets
39James F. Davis The affordable application of formal methods to software engineering. Search on Bibsonomy SIGAda The full citation details ... 2005 DBLP  DOI  BibTeX  RDF trust, correctness, proven, engineering, formal
38Alok Garg, Michael C. Huang 0001 A performance-correctness explicitly-decoupled architecture. Search on Bibsonomy MICRO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Joonhyuk Yoo, Manoj Franklin Prioritizing verification via value-based correctness criticality. Search on Bibsonomy ICCD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38David 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 POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Hao Hu 0001, Jian Lu 0001 Preserving Data Flow Correctness in Process Adaptation. Search on Bibsonomy IEEE SCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Data Flow Correctness, BPEL, Correctness-by-Construction, Process Adaptation
36Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001 A Small Step for Mankind. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Frank S. de Boer Reasoning about Recursive Processes in Shared-Variable Concurrency. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36E. Allen Emerson Meanings of Model Checking. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe Concurrent Objects à la Carte. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Dines Bjørner, Asger Eir Compositionality: Ontology and Mereology of Domains. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Peter van Emde Boas Playing Savitch and Cooking Games. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Manfred Broy Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Ittai Balaban, Amir Pnueli, Lenore D. Zuck Proving the Refuted: Symbolic Model Checkers as Proof Generators. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Jan Peleska 0001 Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Hans Langmaack On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Ansgar Fehnker, Ralf Huuck, Sean Seefried Counterexample Guided Path Reduction for Static Program Analysis. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Ernst-Rüdiger Olderog, Andreas Podelski Explicit Fair Scheduling for Dynamic Control. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Kai Engelhardt, Ralf Huuck Smaller Abstractions for FOR ALL CTL* without Next. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Jozef Hooman, Marcel Verhoef Formal Semantics of a VDM Extension for Distributed Embedded Systems. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Leslie Lamport Computer Science and State Machines. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech Automated Proofs for Asymmetric Encryption. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Dennis Dams, Ulrich Hannemann, Martin Steffen A Bibliography of Willem-Paul de Roever. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Shivali Agarwal, R. K. Shyamasundar A Proof System for a PGAS Language. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36David Harel, Amir Kantor, Shahar Maoz On the Power of Play-Out for Scenario-Based Programs. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Antony 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 Memory System Performance and Correctness The full citation details ... 2006 DBLP  BibTeX  RDF
36Shoaib Kamil 0001, Kaushik Datta, Samuel Williams 0001, Leonid Oliker, John Shalf, Katherine A. Yelick Implicit and explicit optimizations for stencil computations. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Lei Jin 0002, Hyunjin Lee, Sangyeun Cho A flexible data to L2 cache mapping approach for future multicore processors. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF non-uniform cache architecture (NUCA), page allocation
36Mojtaba Mehrara, Todd M. Austin Reliability-aware data placement for partial memory protection in embedded processors. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF memory lifetime, partial memory protection, selective data placement, embedded systems, soft errors
36Benjamin Hindman, Dan Grossman Atomicity via source-to-source translation. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, transactional memory, concurrent programming, atomicity
36Melissa E. O'Neill, F. Warren Burton Smarter garbage collection with simplifiers. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lightweight daemon, simplifier, weak pointer, finalizer
36Dan Grossman, Jeremy Manson, William W. Pugh What do high-level memory models mean for transactions? Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Jinzhan 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 Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF TLB performance, Java, embedded system
36Michael D. Adams 0001, David S. Wise Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Morton-hybrid, parallel processing, paging, quadtrees, Cholesky factorization, cache misses, TLB
36Gregory 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 Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36David A. Wood 0001 Keynote talk challenges in chip multiprocessor memory systems. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus Deconstructing process isolation. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity
35Rachid Guerraoui, Michal Kapalka On the correctness of transactional memory. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model, lower bound, transactional memory, correctness
35Kamel Adi, Liviu Pene Secrecy Correctness for Security Protocols. Search on Bibsonomy DFMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Protocol Correctness, Security Protocols, Formal Analysis, Secrecy
35Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones A framework for superscalar microprocessor correctness statements. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license