„Runtime“

Suchergebnisse

1.000+ Treffer

• On the Runtime of Local Mutual Exclusion for Anonymous Dynamic Networks
  Chaturvedi, Anya ; Daymude, Joshua J. ; Richa, Andréa W. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
  Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zălinescu, Eugen ; Zhang, Yi
• Business Process Management – Concepts, Languages, Architectures
  Weske, Mathias 2019 Springer Berlin Heidelberg
• Runtime self-monitoring approach of business process compliance in cloud environments
  Barnawi, Ahmed ; Awad, Ahmed ; Elgammal, Amal ; El Shawi, Radwa ; Almalaise, Abdullah ; Sakr, Sherif
• Hybrid architecture for hardware-accelerated query processing in semantic web databases based on runtime reconfigurable FPGAs
  Werner, Stefan 2017 Zentrale Hochschulbibliothek Lübeck
• Complexity Theory
  Sina, Lucien 2025 epubli
• Runtime Adaptive Hybrid Query Engine based on FPGAs
  Werner, Stefan ; Heinrich, Dennis ; Groppe, Sven ; Blochwitz, Christopher ; Pionteck, Thilo
• Runtime Analysis of a (μ +1) ES for the Sphere Function
  Jägersküpper, Jens ; Witt, Carsten 2006 Universitätsbibliothek Dortmund
• Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
  Gay, Simon ; Vasconcelos, Vasco T. ; Wadler, Philip ; Yoshida, Nobuko
• Deep industrial transfer learning at runtime for image recognition
  Maschler, Benjamin ; Kamm, Simon ; Weyrich, Michael
• OpenMP in the era of low power devices and accelerators – proceedings
  Rendell, Alistair P. ; Chapman, Barbara ; Müller, Matthias S. 2013 Springer
• A Unifying Approach to Efficient (Near)-Gathering of Disoriented Robots with Limited Visibility
  Castenow, Jannik ; Harbig, Jonas ; Jung, Daniel ; Kling, Peter ; Knollmann, Till ; Meyer auf der Heide, Friedhelm 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards the learning of human-seat interactions for runtime-efficient human models based on pressure distributions
  Fahse, Niklas ; Roller, Michael ; Kempter, Fabian ; Fehr, Jörg 2022 Universitätsbibliothek der Universität Stuttgart
• An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system
  Blikstad, Mathias ; Karlsson, Emil ; Lööw, Tomas ; Rönnberg, Elina
• A Link Between Anomaly Detection and Runtime Verification
  Heermann, Hagen ; Grimm, Christoph 2025 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Runtime analysis of some hybrid algorithms
  Lai, Xinsheng ; Zhou, Yuren
• Deep learning-aided runtime opcode-based Windows malware detection
  Parildi, Enes Sinan ; Hatzinakos, Dimitrios ; Lawryshyn, Yuri
• Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
  Könighofer, Bettina ; Torfah, Hazem 2026 Springer Nature Switzerland, Imprint: Springer
• Complexity Theory
  Sina, Lucien 2025 epubli
• Runtime model-based safety analysis of self-organizing systems with S#
  Habermaier, Axel ; Eberhardinger, Benedikt ; Seebach, Hella ; Leupolz, Johannes ; Reif, Wolfgang ; Anders, Gerrit ; Botev, Jean ; Esch, Markus 2015 Universität Augsburg