Concurrency

Results: 2238



#Item
41

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
    42

    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
      43

      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
        44

        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
          45

          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
            46

            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
              47

              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
                48

                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
                  49

                  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
                    50

                    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
                      UPDATE