„program generation“

Suchergebnisse

1.146 Treffer

• Towards cooperative software verification with test generation and formal verification
  Lemberger, Thomas ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Untersuchung des Einflusses einer parentalen Hochsalzdiät auf das renale Renin-Angiotensin-Aldosteron-System der Nachkommen erster Generation am Modell der Ratte
  Ritter, Teresa 2022 Medizinische Fakultät Charité - Universitätsmedizin Berlin
• CORFU - An Extended Model-Driven Framework for Small Satellite Software with Code Feedback
  Flederer, Frank ; Montenegro, Sergio ; Kolla, Reiner 2021 Universität Würzburg
• Logical Analysis of Biological Data
  Becker, Katinka 2021 Freie Universität Berlin
• Numerical Approaches to Optimal Control: Tackling Nonlinear Systems and Constraints
  Nama 2024 tredition
• Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics
  Merkert, Lennart ; Hohmann, Sören ; Lens, Hendrik 2021 KIT Scientific Publishing
• Optimized model-based path generation for robotic manufacturing processes
  Diaz Posada, Julian Ricardo ; Verl, Alexander 2020 Universitätsbibliothek der Universität Stuttgart
• Treffen der Generationen – Eine Reflexion erwachsenendidaktischen Handelns anhand theoretischer und empirischer Untersuchungen intergenerationaler Lern- und Planungskulturen in Sachsen und Nordrhein-Westfalen
  Worf, Maria ; Schmidt-Lauff, Sabine ; Zeuner, Christine 2012 Universitätsbibliothek Chemnitz
• Automatic Code Generation for Massively Parallel Applications in Computational Fluid Dynamics
  Kuckuk, Sebastian ; Köstler, Harald ; Bolten, Matthias 2019 FAU University Press
• Novel applications of Column Generation in large-scale linear programming
  Schwinn, Jonas ; Werner, Ralf 2019 Universität Augsburg
• Time domain based image generation for synthetic aperture radar on field programmable gate arrays
  Cholewa, Fabian 2019 Gottfried Wilhelm Leibniz Universität Hannover
• Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features
  Ma, Canlong ; Provost, Julien ; Frey, Georg 2019 Universitätsbibliothek der TU München
• Essays in physician scheduling with a special focus on breaks and flexibility
  Erhard, Melanie Johanna Patricia ; Brunner, Jens O. 2019 Universität Augsburg
• Scaling Correctness-by-Construction
  Bordis, Tabea ; Schaefer, Ina ; Broch Johnsen, Einar 2025 KIT-Bibliothek
• Efficient Simulation of Biologically Realistic Neural Networks on Different Parallel Hardware Using Code Generation
  Dinkelbach, Helge Ülo ; Hamker, Fred H. ; Rougier, Nicolas P. 2025 Technische Universität Chemnitz
• Enhancing Learning and Assessment in Computer Science Education
  Willert, Nico ; Eisenecker, Ulrich ; Happ, Roland 2025 Universitätsbibliothek Leipzig
• Cooperative Software Verification
  Haltermann, Jan ; Wehrheim, Heike ; Strejček, Jan 2025 BIS der Universität Oldenburg
• Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
  Lutz, Marco ; Kowalewski, Stefan ; Herber, Paula 2024 Universitätsbibliothek der RWTH Aachen
• Codeerzeugung mit Graphersetzung und Lösungsgraphen
  Boesler, Boris 2005 Shaker
• Verification-based software-fault detection
  Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing