„Distributed programming“

Suchergebnisse

689 Treffer

• 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
• Task-To-Processor Assignment for Real-Time Mixed-Critical Networked Systems Using Inductive Logic Programming
  Gualtieri, Marcus ; Juette, Christian ; Dasari, Dakshina 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scientific Workflows – Programming, Optimization, and Synthesis with ASKALON and AWDL
  Qin, Jun ; Fahringer, Thomas 2012 Springer Berlin
• Simula Research Laboratory – by Thinking Constantly about it
  Tveito, Aslak 2010 Springer Berlin
• Para $$^2$$ 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
  Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef
• Essays on the Energy Transition — A Modeling Approach
  Helgeson, Broghan ; Bettzüge, Marc Oliver ; Ruhnau, Oliver 2024 Universitäts- und Stadtbibliothek Köln
• Making asynchronous distributed computations robust to noise
  Censor-Hillel, Keren ; Gelles, Ran ; Haeupler, Bernhard
• Intentional Forgetting in Distributed Artificial Intelligence
  Reuter, Lukas ; Berndt, Jan Ole ; Ulfert, Anna-Sophie ; Antoni, Conny Herbert ; Ellwart, Thomas ; Timm, Ingo J.
• Partially distributed outer approximation
  Murray, Alexander ; Faulwasser, Timm ; Hagenmeyer, Veit ; Villanueva, Mario E. ; Houska, Boris 2021 Technische Universität Hamburg. Universitätsbibliothek
• Simple and efficient local codes for distributed stable network construction
  Michail, Othon ; Spirakis, Paul G.
• Transactions on large-scale data- and knowledge-centered systems
  Hameurlain, Abdelkader ; Tjoa, A Min 2025 Springer
• A Simple Distributed Algorithm for Sparse Fractional Covering and Packing Problems
  Li, Qian ; Ouyang, Minghui ; Wang, Yuyi 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming for Distributed Systems with XC (Artifact)
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
• Declarative Synchronous Multithreaded Programming
  Mancilla, Blanca ; Plaice, John
• Multiparty Session Programming with Global Protocol Combinators (Artifact)
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko
• Weisfeiler-Leman Invariant Promise Valued CSPs
  Barto, Libor ; Butti, Silvia 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming for Distributed Systems with XC
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Languages: The Choreographic and Multitier Cases (Pearl)
  Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik