Concurrency

Results: 2238



#Item
61Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Design Relational Databases and Concurrency Control

Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Design Relational Databases and Concurrency Control

Add to Reading List

Source URL: learning.eng.cam.ac.uk

- Date: 2016-02-16 07:04:11
    62On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

    On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

    Add to Reading List

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

    - Date: 2016-02-22 03:32:16
      63TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

      TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

      Add to Reading List

      Source URL: www.wv.inf.tu-dresden.de

      - Date: 2012-07-05 04:11:43
        64

        Concurrency and Computation: Practice and Experience Special Issue Cloud Computing and Big Data: Technologies and Applications Aims and Scope Cloud computing has gained great attention from both academia and IT industry

        Add to Reading List

        Source URL: www.macc.ma

        - Date: 2016-05-04 13:15:37
          65Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1397 Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation results

          Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1397 Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation results

          Add to Reading List

          Source URL: uu.diva-portal.org

          - Date: 2016-08-26 07:12:20
            6620 Years of Combining Compositionality & Concurrency of Stochastic Models Holger Hermanns Universität des Saarland, Saarbrücken

            20 Years of Combining Compositionality & Concurrency of Stochastic Models Holger Hermanns Universität des Saarland, Saarbrücken

            Add to Reading List

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

            - Date: 2013-08-13 02:39:12
              67Contents i The Theory and Practice of Concurrency

              Contents i The Theory and Practice of Concurrency

              Add to Reading List

              Source URL: www.cs.ox.ac.uk

              - Date: 2005-04-27 07:29:54
                68Compilation of Effect Handlers and their Applications in Concurrency Daniel Hillerström NI VER

                Compilation of Effect Handlers and their Applications in Concurrency Daniel Hillerström NI VER

                Add to Reading List

                Source URL: homepages.inf.ed.ac.uk

                - Date: 2016-11-15 15:54:41
                  69The Downward-Closure of Petri Net Languages? Peter Habermehl1 , Roland Meyer1 , and Harro Wimmel2 1 LIAFA, Paris Diderot University & CNRS e-mail: {peter.habermehl,roland.meyer}@liafa.jussieu.fr

                  The Downward-Closure of Petri Net Languages? Peter Habermehl1 , Roland Meyer1 , and Harro Wimmel2 1 LIAFA, Paris Diderot University & CNRS e-mail: {peter.habermehl,roland.meyer}@liafa.jussieu.fr

                  Add to Reading List

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

                  - Date: 2016-02-22 03:32:16
                    70Concurrency and VMs Introduction © 2015 Oracle, Mario Wolczko Why? How?

                    Concurrency and VMs Introduction © 2015 Oracle, Mario Wolczko Why? How?

                    Add to Reading List

                    Source URL: dl.dropboxusercontent.com