„Concurrent Programming“

Suchergebnisse

241 Treffer

• Embedding the pi-calculus into a concurrent functional programming language
  Schmidt-Schauß, Manfred ; Sabel, David 2019 Universitätsbibliothek Johann Christian Senckenberg
• Toward trustworthy programming for autonomous concurrent systems
  Silva, Lavindra de ; Mycroft, Alan
• Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
  Jensen, Kurt ; Kristensen, Lars Michael ; Wells, Lisa
• Highly dependable concurrent programming using design for verification
  Betin-Can, Aysu ; Bultan, Tevfik
• Approximate verification of concurrent systems using token structures and invariants
  Antonino, Pedro ; Gibson-Robinson, Thomas ; Roscoe, A. W.
• A reliable concurrent multicast algorithm for content distribution
  Karaata, Mehmet Hakan ; Dabees, Aysha ; Alazemi, Fawaz
• Concurrent local negotiations with a global utility function: a greedy approach
  Mohammad, Yasser
• FlexSched: Efficient scheduling techniques for concurrent kernel execution on GPUs
  López-Albelda, Bernabé ; Castro, Francisco M. ; González-Linares, José M. ; Guil, Nicolás
• Nonsequential and distributed programming with Go – synchronization of concurrent processes: communication - cooperation - competition
  Maurer, Christian 2021 Springer
• Embedding the pi-calculus into a concurrent functional programming language
  Schmidt-Schauß, Manfred ; Sabel, David 2019 Universitätsbibliothek Johann Christian Senckenberg
• Concurrent programming in Java – Entwurfsprinzipien und Muster ; [die offizielle Dokumentation von JavaSoft]
  Lea, Douglas 1997 Addison-Wesley-Longman
• Space optimizations in deterministic and concurrent call-by-need functional programming languages
  Dallmeyer, Nils ; Schmidt-Schauß, Manfred ; Bertschinger, Nils 2020 Universitätsbibliothek Johann Christian Senckenberg
• Concurrent disjoint set union
  Jayanti, Siddhartha V. ; Tarjan, Robert E.
• Understanding Control Flow – Concurrent Programming Using μC++
  Buhr, Peter A. 2016 Springer International Publishing
• Models and emerging trends of concurrent constraint programming
  Olarte, Carlos ; Rueda, Camilo ; Valencia, Frank D.
• Decidability of model checking for infinite-state concurrent systems
  Esparza, Javier
• Concurrent objects and beyond – papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday
  Agha, Gul ; Yonezawa, Akinori ; Igarashi, Atsushi ; Kobayashi, Naoki ; Masuhara, Hidehiko ; Matsuoka, Satoshi ; Shibayama, Etsuya ; Taura, Kenjiro 2014 Springer
• Weighted fair share scheduling for loosely controlled concurrent event systems
  Rooney, Sean ; Garcés-Erice, Luis ; Dragičević, Kristijan ; Bauer, Daniel
• M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
  Best, Eike ; Frączak, Wojciech ; Hopkins, Richard P. ; Klaudel, Hanna ; Pelz, Elisabeth
• Implementierung und Visualisierung von OPTICS in JavaScript – Funktionserläuterung eines Clustering-Algorithmus und Aufbau einer Web-Applikation
  Brünner, Franz Josef 2014 AV Akademikerverlag