„network programming“

Suchergebnisse

8.178 Treffer

• Rigorous State-Based Methods – 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
  Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael ; Riccobene, Elvinia ; Scandurra, Patrizia 2024 Springer Nature Switzerland, Imprint: Springer
• Energy-Efficient Distributed Multicast Beamforming Using Iterative Second-Order Cone Programming
  Bornhorst, Nils ; Pesavento, Marius ; Haardt, Martin ; Klein, Anja ; Schöps, Sebastian 2015 Universitäts- und Landesbibliothek Darmstadt
• Formale Methoden für sicherheitskritische Software – Der KIV-Ansatz
  Reif, Wolfgang
• Distributed Object-Oriented Architectures – Sockets, Java RMI and CORBA
  Stepisnik, Josef 2006 Diplom.de
• Spanning cactus and spanning cactus extension of outerplanar graphs
  Debnath, Chinmay ; Datta, Alak Kumar
• Shortest characteristic factors of a deterministic finite automaton and computing its positive position run by pattern set matching
  Janoušek, Jan ; Plachý, Štěpán
• Parameterized lower bounds for the weighted vertex cover problem in trees
  Wojciechowski, P. ; Subramani, K.
• On integer linear programs for treewidth based on perfect elimination orderings (extended version)
  Mallach, Sven
• Reasoning over n-indexed sequences in SMT
  Ait-El-Hara, Hichem Rami ; Bobot, François ; Bury, Guillaume
• On the 3-tree core of plane graphs
  Mondal, Debajyoti ; Rahman, Md. Saidur
• Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking
  Winter, Sarah ; Zimmermann, Martin
• Gray-box runtime enforcement of hyperproperties
  Hsu, Tzu-Han ; Oliveira da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo
• Preserving hyperproperties of programs using primitives with consensus number 2
  Attiya, Hagit ; Castañeda, Armando ; Enea, Constantin
• Novel tree-search method for synthesizing SMT strategies
  Lu, Zhengyang John ; Day, Joel ; Jha, Piyush ; Sarnighausen-Cahn, Paul ; Siemer, Stefan ; Manea, Florin ; Ganesh, Vijay
• Android applications classification with deep neural networks
  Mohammed, Mustapha Adamu ; Asante, Michael ; Alornyo, Seth ; Essah, Bernard Obo
• Combining quantitative and qualitative reasoning in concurrent multi-player games
  Bulling, Nils ; Goranko, Valentin
• Advanced data centre traffic management on programmable ethernet switch infrastructure
  Tokmakov, Kamil 2019 Universität Ulm
• In-network complex event processing using advanced data-plane programming
  Maaß, Marius 2018 Universitätsbibliothek der Universität Stuttgart
• Anwendung von Progress-Networks in einer Online-Programmierübungs-Plattform am Beispiel von OPPSEE
  Jacobson, Jan-Niklas ; Schmolitzky, Axel ; Jenke, Philipp 2025 Hochschule für Angewandte Wissenschaften Hamburg
• Real-time multi-agent systems: rationality, formal model, and empirical results
  Calvaresi, Davide ; Dicente Cid, Yashin ; Marinoni, Mauro ; Dragoni, Aldo Franco ; Najjar, Amro ; Schumacher, Michael