„Concurrent Programming“

Suchergebnisse

1.000+ Treffer

• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• 21st International Conference on Principles of Distributed Systems (OPODIS 2017)
  Aspnes, James ; Bessani, Alysson ; Felber, Pascal ; Leitão, João 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• State and path coalition effectivity models of concurrent multi-player games
  Goranko, Valentin ; Jamroga, Wojciech
• Verification of parametric concurrent systems with prioritised FIFO resource management
  Bouajjani, Ahmed ; Habermehl, Peter ; Vojnar, Tomáš
• 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
  Fatourou, Panagiota ; Jiménez, Ernesto ; Pedone, Fernando 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Concurrent Programming, Open Systems and Formal Methods – Essays Dedicated to Gul Agha to Celebrate His Scientific Career
  Meseguer, José ; Varela, Carlos A. ; Venkatasubramanian, Nalini 2026 Springer Nature Switzerland, Imprint: Springer
• Concurrent bacterial foraging with emotional intelligence for global optimization
  Nagpal, Renu ; Singh, Parminder ; Garg, B. P.
• PIDGETS, unifying pictures and widgets in a simple model for concurrent functional GUI programming
  Scholz, Enno 1995 Freie Univ., Fachbereich Mathematik
• A formal foundation for concurrent object oriented programming
  Grosu, Radu 1995 Inst. für Informatik
• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• A calculus for higher-order concurrent constraint programming with deep guards
  Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• The Future of Concurrency: Zero-Cost Abstractions for Guaranteed Memory Safety
  Saniya 2024 tredition
• Coloured Petri Nets – Modelling and Validation of Concurrent Systems
  2009 Springer Berlin Heidelberg
• A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems
  Schäfer, Jan 2011 Verlag Dr. Hut
• Beyond Synthesis: Mastering VHDL for Efficient System Design
  Nami 2024 tredition
• Set based failure diagnosis for concurrent constraint programming
  Müller, Martin Ludwig
• Distributed Computing – 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings
  Kuhn, Fabian 2014 Springer Berlin Heidelberg
• 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 Berlin Heidelberg
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• Central European Functional Programming School – 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
  Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer Berlin Heidelberg