Concurrency

Results: 2238



#Item
41Reference Capabilities for Concurrency Control Same code template safe for different use cases

Reference Capabilities for Concurrency Control Same code template safe for different use cases

Add to Reading List

Source URL: eliasc.github.io

- Date: 2018-01-18 03:59:55
    42Cost of Concurrency in Hybrid Transactional Memory Trevor Brown (University of Toronto) Srivatsan Ravi (Purdue University) 1

    Cost of Concurrency in Hybrid Transactional Memory Trevor Brown (University of Toronto) Srivatsan Ravi (Purdue University) 1

    Add to Reading List

    Source URL: transact2017.cse.lehigh.edu

    - Date: 2017-02-10 05:21:45
      43Cost of Concurrency in Hybrid Transactional Memory Trevor Brown Srivatsan Ravi University of Toronto

      Cost of Concurrency in Hybrid Transactional Memory Trevor Brown Srivatsan Ravi University of Toronto

      Add to Reading List

      Source URL: transact2017.cse.lehigh.edu

      - Date: 2017-02-05 14:51:26
        44Managing GPU Concurrency in Heterogeneous Architectures Onur Kayıran∗ Nachiappan Chidambaram Nachiappan∗ Adwait Jog∗ Rachata Ausavarungnirun†

        Managing GPU Concurrency in Heterogeneous Architectures Onur Kayıran∗ Nachiappan Chidambaram Nachiappan∗ Adwait Jog∗ Rachata Ausavarungnirun†

        Add to Reading List

        Source URL: adwaitjog.github.io

        - Date: 2018-04-03 12:08:14
          45Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany

          Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany

          Add to Reading List

          Source URL: plv.mpi-sws.org

          - Date: 2016-12-07 07:19:23
            466th International Workshop on Security Issues in Concurrency (SecCo’08) http://www.lsv.ens-cachan.fr/SecCo08/ August 23, 2008, Toronto (Canada) Affiliated to CONCUR 2008

            6th International Workshop on Security Issues in Concurrency (SecCo’08) http://www.lsv.ens-cachan.fr/SecCo08/ August 23, 2008, Toronto (Canada) Affiliated to CONCUR 2008

            Add to Reading List

            Source URL: www.lsv.fr

            - Date: 2008-04-18 05:56:15
              47Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

              Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

              Add to Reading List

              Source URL: plv.mpi-sws.org

              - Date: 2017-01-19 08:43:04
                48Channels, Concurrency, and Cores A story of Concurrent ML Andy Wingo ~ wingolog.org ~ @andywingo

                Channels, Concurrency, and Cores A story of Concurrent ML Andy Wingo ~ wingolog.org ~ @andywingo

                Add to Reading List

                Source URL: wingolog.org

                - Date: 2017-06-23 05:20:05
                  49High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++  Arthur Whitney Dennis Shasha Stevan Apter

                  High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++  Arthur Whitney Dennis Shasha Stevan Apter

                  Add to Reading List

                  Source URL: cs.nyu.edu

                  - Date: 2007-09-15 02:03:57
                    50Library Abstraction for C/C++ Concurrency — extended version — Mark Batty Mike Dodds

                    Library Abstraction for C/C++ Concurrency — extended version — Mark Batty Mike Dodds

                    Add to Reading List

                    Source URL: www-users.cs.york.ac.uk

                    - Date: 2012-10-30 13:06:26