„Concurrent Programming“

Suchergebnisse

241 Treffer

• Model-View-Update-Communicate: Session Types Meet the Elm Architecture
  Fowler, Simon 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Session Programming With Global Protocol Combinators
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial-Time Fence Insertion for Structured Programs
  Taheri, Mohammad ; Pourdamghani, Arash ; Lesani, Mohsen 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Motion Session Types for Robotic Interactions (Brave New Idea Paper)
  Majumdar, Rupak ; Pirron, Marcus ; Yoshida, Nobuko ; Zufferey, Damien 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability for Branching Concurrent Stochastic Games (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Etessami, Kousha ; Martinov, Emanuel ; Stewart, Alistair ; Yannakakis, Mihalis 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization
  Hung, Wei-Lun ; Chauhan, Himanshu ; Garg, Vijay K. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Succinctness of Idioms for Concurrent Programming
  Harel, David ; Katz, Guy ; Lampert, Robby ; Marron, Assaf ; Weiss, Gera 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coalgebraic Derivations in Logic Programming
  Komendantskaya, Ekaterina ; Power, John 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
  Martinez, Thierry 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Analysis to Support Concurrent Programming in Declarative Languages
  Demeyer, Romain 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bisimilarity in Concurrent Constraint Programming
  Aristizabal P., Andres A. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Expressiveness of Spatial Constraint Systems
  Guzmán, Michell ; Valencia, Frank D. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
  Dolby, Julian ; Grumberg, Orna ; Müller, Peter ; Tripp, Omer
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
  Philippsen, Michael ; Felber, Pascal ; Scott, Michael L. ; Moss, J. Eliot B.
• Analysing Java's safety guarantees under concurrency
  Lochbihler, Andreas
• Concurrent object-oriented programming based on MPI
  Lu, Hong-wei D. ; Wang, Hou-xiang ; Pei, Xiao-li ; Xiao, Yong-ling
• Systems Programming in Unix/Linux
  Wang, K.C. 2018 Springer International Publishing