Concurrency

Results: 2238



#Item
581

Transactions and Concurrency Control • Transaction: a unit of program execution that accesses and possibly updates some data items. • A transaction is a collection of operations that logically form a single unit. •

Add to Reading List

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

Language: English - Date: 2014-09-03 06:03:22
    582

    Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2011-10-18 12:40:33
      583

      concurrency_diagram copy.key

      Add to Reading List

      Source URL: www.filemaker.com

      Language: Spanish - Date: 2015-05-08 12:09:00
        584

        Connecting the Dot Dots Model Checking Concurrency in Capsicum ASA-4 21 July 2010 Robert N. M. Watson Jonathan Anderson

        Add to Reading List

        Source URL: www.cl.cam.ac.uk

        Language: English - Date: 2010-08-04 06:18:20
          585

          Concurrency in Prolog Using Threads and a Shared Database∗ Manuel Carro Manuel Hermenegildo

          Add to Reading List

          Source URL: clip.dia.fi.upm.es

          Language: English - Date: 2003-02-06 10:00:07
            586

            Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            Language: English - Date: 2011-10-18 12:43:43
              587

              CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. ExperPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: cpe.3110 Achieving numerical accuracy and h

              Add to Reading List

              Source URL: ash2.icl.utk.edu

              Language: English - Date: 2013-09-24 13:25:56
                588

                ABSTRACTS-YEAR 2000 THESIS COMPUTER SCIENCE CS-00-1 SEMANTICS OF CONCURRENCY IN JAVA MD. Anisur Rahman

                Add to Reading List

                Source URL: www.cs.ait.ac.th

                Language: English - Date: 2005-07-11 03:56:31
                  589

                  BRICS Basic Research in Computer Science BRICS RSG. Winskel: A Linear Metalanguage for Concurrency A Linear Metalanguage for Concurrency

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1999-02-24 18:14:31
                    590

                    Connecting the Dot-Dots: Model Checking Concurrency in a Security API Robert N. M. Watson∗ University of Cambridge Cambridge, UK

                    Add to Reading List

                    Source URL: www.engr.mun.ca

                    Language: English - Date: 2015-01-04 23:00:53
                      UPDATE