Concurrency

Results: 2238



#Item
91

A Study of the Internal and External Effects of Concurrency Bugs Pedro Fonseca, Cheng Li, Vishal Singhal∗, and Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) Abstract Concurrent programming is in

Add to Reading List

Source URL: concurrency.mpi-sws.org

- Date: 2010-04-16 08:26:24
    92

    Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

    Add to Reading List

    Source URL: www.mpi-sws.org

    - Date: 2012-11-03 14:37:05
      93

      Chapter 12 Concurrent Programming As we learned in Chapter 8, logical control flows are concurrent if they overlap in time. This general phenomenon, known as concurrency, shows up at many different levels of a computer

      Add to Reading List

      Source URL: csapp.cs.cmu.edu

      - Date: 2010-02-14 14:17:36
        94

        E Progress Report In the first phase of the project we have demonstrated novel approaches in several areas: i. Low overhead automated and precise detection of concurrency bugs at scale. ii. Using low overhead bug detecti

        Add to Reading List

        Source URL: crd.lbl.gov

        - Date: 2015-04-20 03:12:44
          95

          Appears in the Proceedings of the ACM SIGMOD International Conference on Management of Data, San Jose, CA, MayEfficient Optimistic Concurrency Control Using Loosely Synchronized Clocks Atul Adya

          Add to Reading List

          Source URL: www.cs.utah.edu

          - Date: 2016-08-24 16:44:11
            96

            Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid

            Add to Reading List

            Source URL: www.sti.uniurb.it

            - Date: 2014-06-19 19:17:27
              97

              Groovy Concurrency Alex Miller Revelytix GPars Jeepers!

              Add to Reading List

              Source URL: cdn.oreillystatic.com

              - Date: 2010-07-22 13:35:55
                98

                MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs Shan Lu† , Soyeon Park† , Chongfeng Hu† , Xiao Ma† , Weihang Jiang† Zhenmin Li†‡ , Raluca

                Add to Reading List

                Source URL: www.sosp2007.org

                - Date: 2016-06-15 13:09:51
                  99

                  All experiments and measurements were performed on a 3.2 GHz Intel Xeon. Exploiting Concurrency Vulnerabilities in System Call Wrappers

                  Add to Reading List

                  Source URL: www.watson.org

                  - Date: 2007-08-05 04:34:17
                    100

                    Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

                    Add to Reading List

                    Source URL: www.edsko.net

                    - Date: 2016-08-23 03:13:56
                      UPDATE