Concurrent engineering

Results: 1149



#Item
1An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
2Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
3LEAP: Lightweight Deterministic Multi-processor Replay of Concurrent Java Programs Jeff Huang, Peng Liu, and Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology

LEAP: Lightweight Deterministic Multi-processor Replay of Concurrent Java Programs Jeff Huang, Peng Liu, and Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology

Add to Reading List

Source URL: parasol.tamu.edu

Language: English - Date: 2010-09-08 10:05:48
    4Reversible Concurrent Systems Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA

    Reversible Concurrent Systems Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA

    Add to Reading List

    Source URL: proglang.informatik.uni-freiburg.de

    Language: English - Date: 2018-04-15 13:19:07
      5Concurrent Solutions to Linear Systems using Hybrid CPU/GPU Nodes Oluwapelumi Adenikinju1 , Julian Gilyard2 , Joshua Massey1 , Thomas Stitt3 1 Department of Computer Science and Electrical Engineering, UMBC

      Concurrent Solutions to Linear Systems using Hybrid CPU/GPU Nodes Oluwapelumi Adenikinju1 , Julian Gilyard2 , Joshua Massey1 , Thomas Stitt3 1 Department of Computer Science and Electrical Engineering, UMBC

      Add to Reading List

      Source URL: www.siam.org

      - Date: 2015-06-09 14:58:53
        6Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

        Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2011-01-23 15:58:50
          7Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

          Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

          Add to Reading List

          Source URL: frenchy64.github.io

          Language: English - Date: 2016-08-15 14:26:54
          8JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

          JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

          Add to Reading List

          Source URL: dl.dropboxusercontent.com

          Language: English
          9Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

          Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

          Add to Reading List

          Source URL: www.cs.cornell.edu

          Language: English - Date: 2016-05-23 12:46:14