„Concurrent Programming“

Suchergebnisse

241 Treffer

• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• Concurrent programming in web applications
  Erb, Benjamin ; Kargl, Frank ; Domaschka, Jörg
• Programming with Actors – State-of-the-Art and Research Perspectives
  Ricci, Alessandro 2018 Springer International Publishing
• Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects
  Pollmann, Alfried 2020 De Gruyter
• Mixed-integer linear programming applied to temporal planning of concurrent actions
  Mehlbeer, Florentin 2014 Universitätsbibliothek der Universität Stuttgart
• Exploring students’ emotions towards programming: Analysing sentiments using concurrent conversion mixed methods
  Atman Uslu, Nilüfer ; Onan, Aytuğ
• Concurrent imitation dynamics in congestion games
  Ackermann, Heiner ; Berenbrink, Petra ; Fischer, Simon ; Hoefer, Martin
• Modern Concurrency Platforms Require Modern System-Call Techniques
  Schmaus, Florian ; Fischer, Florian ; Hönig, Timo ; Schröder-Preikschat, Wolfgang 2021 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Automatic and Dynamic Visualization of Process-Based Concurrent Programs
  Farina, Daniel Augusto Rodrigues ; Campiolo, Rodrigo ; Rufino, José ; Pereira, Maria João Varanda 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Automata-Based Approach for Synchronizable Mailbox Communication
  Delpy, Romain ; Muscholl, Anca ; Sutre, Grégoire 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)
  Suchert, Felix ; Zeidler, Lisza ; Castrillon, Jeronimo ; Ertel, Sebastian
• 09361 Abstracts Collection – Design and Validation of Concurrent Systems
  Flanagan, Cormac ; Graf, Susanne ; Parthasarathy, Madhusan ; Quadeer, Shaz
• 08241 Summary – Transactional Memory : From Implementation to Application
  Fetzer, Christof ; Harris, Tim ; Herlihy, Maurice ; Shavit, Nir
• 08241 Abstracts Collection – Transactional Memory : From Implementation to Application
  Fetzer, Christof ; Harris, Tim ; Herlihy, Maurice ; Shavit, Nir
• Linear Promises: Towards Safer Concurrent Programming (Artifact)
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek
• Multiparty Session Programming with Global Protocol Combinators (Artifact)
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji
• Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)
  Fowler, Simon
• ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
  Suchert, Felix ; Zeidler, Lisza ; Castrillon, Jeronimo ; Ertel, Sebastian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko
• Linear Promises: Towards Safer Concurrent Programming
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik