Concurrency

Results: 2238



#Item
81Concurrency Testing Using Schedule Bounding: an Empirical Study ∗ Paul Thomson, Alastair F. Donaldson, Adam Betts Imperial College London {paul.thomson11,afd,abetts}@imperial.ac.uk

Concurrency Testing Using Schedule Bounding: an Empirical Study ∗ Paul Thomson, Alastair F. Donaldson, Adam Betts Imperial College London {paul.thomson11,afd,abetts}@imperial.ac.uk

Add to Reading List

Source URL: www.doc.ic.ac.uk

- Date: 2013-12-16 04:59:59
    82A Concurrency Problem with Exponential DPLL(T ) Proofs Liana Hadarean1 Alex Horn1

    A Concurrency Problem with Exponential DPLL(T ) Proofs Liana Hadarean1 Alex Horn1

    Add to Reading List

    Source URL: forsyte.at

    - Date: 2015-06-25 07:24:44
      83Automata-Based Analysis of Recursive Programs with Threads Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany 25 Years of Combining Concurrency and Compositionality Königswinter, 7.-9. August 2013

      Automata-Based Analysis of Recursive Programs with Threads Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany 25 Years of Combining Concurrency and Compositionality Königswinter, 7.-9. August 2013

      Add to Reading List

      Source URL: www.ips.tu-braunschweig.de

      - Date: 2013-08-13 02:41:33
        84Beautiful concurrency to appear in “Beautiful code”, ed Greg Wilson, O’Reilly 2007 Simon Peyton Jones, Microsoft Research, Cambridge May 1, 2007

        Beautiful concurrency to appear in “Beautiful code”, ed Greg Wilson, O’Reilly 2007 Simon Peyton Jones, Microsoft Research, Cambridge May 1, 2007

        Add to Reading List

        Source URL: research.microsoft.com

        - Date: 2007-05-01 12:36:42
          85PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

          PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

          Add to Reading List

          Source URL: staff.um.edu.mt

          - Date: 2011-05-16 14:07:07
            86MUVI: 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: pages.cs.wisc.edu

            - Date: 2007-08-31 20:39:38
              87Checking and Enforcing Robustness against TSO Ahmed Bouajjani1 , Egor Derevenetc2,3 , and Roland Meyer3 1 LIAFA, University Paris 7

              Checking and Enforcing Robustness against TSO Ahmed Bouajjani1 , Egor Derevenetc2,3 , and Roland Meyer3 1 LIAFA, University Paris 7

              Add to Reading List

              Source URL: concurrency.informatik.uni-kl.de

              - Date: 2014-11-15 10:16:24
                88Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                - Date: 2012-03-07 10:57:44
                  89COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ

                  COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ

                  Add to Reading List

                  Source URL: staff.um.edu.mt

                  - Date: 2014-07-01 03:52:04
                    90CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2015; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe A New Deadlock Resolution Pr

                    CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2015; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe A New Deadlock Resolution Pr

                    Add to Reading List

                    Source URL: www.christian-engelmann.info

                    - Date: 2016-08-04 13:21:52