Concurrency

Results: 2238



#Item
91A 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

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
    92Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

    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
      93Chapter 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

      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
        94E 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

        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
          95Appears 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

          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
            96Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid

            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
              97Groovy Concurrency Alex Miller Revelytix GPars Jeepers!

              Groovy Concurrency Alex Miller Revelytix GPars Jeepers!

              Add to Reading List

              Source URL: cdn.oreillystatic.com

              - Date: 2010-07-22 13:35:55
                98MUVI: 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

                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
                  99All experiments and measurements were performed on a 3.2 GHz Intel Xeon. Exploiting Concurrency Vulnerabilities in System Call Wrappers

                  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
                    100Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

                    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