„code generation“

Suchergebnisse

1.687 Treffer

• Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
  Barwell, Adam D. ; Hou, Ping ; Yoshida, Nobuko ; Zhou, Fangyi
• AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation
  Alshahwan, Nadia ; Jia, Yue ; Lakhotia, Kiran ; Fraser, Gordon ; Shuler, David ; Tonella, Paolo
• 10111 Executive Summary – Practical Software Testing: Tool Automation and Human Factors
  Harman, Mark ; Muccini, Henry ; Schulte, Wolfram ; Xie, Tao
• 10111 Abstracts Collection – Practical Software Testing : Tool Automation and Human Factors
  Harman, Mark ; Muccini, Henry ; Schulte, Wolfram ; Xie, Tao
• Modeling Heterogeneous Real-time Components in BIP
  Basu, Ananda ; Bozga, Marius ; Sifakis, Joseph
• Fling - A Fluent API Generator (Artifact)
  Roth, Ori ; Gil, Yossi
• Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming
  Peng, Xiao ; Solnon, Christine 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
  Barwell, Adam D. ; Hou, Ping ; Yoshida, Nobuko ; Zhou, Fangyi 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
  Bourke, Timothy ; Bregeon, Vincent ; Pouzet, Marc 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unternehmensnachfolge im Familienbetrieb – Ein Leitfaden mit 15 Arbeitsplänen
  Schackmann, Valentin 2003 Betriebswirtschaftlicher Verlag Gabler
• Stella Justintime - The Galactic Codex – Return to the Stars
  Stern, Susanne 2025 Stella Justintime Productions
• Stella Justintime - The Galactic Codex – Return to the Stars
  Stern, Susanne 2025 Stella Justintime Productions
• Generationen — Medien — Bildung – Medienpraxiskulturen im Generationenvergleich
  Schäffer, Burkhard 2003 VS Verlag für Sozialwissenschaften
• Pop & Push: Ordered Tree Iteration in ??(1)-Time
  Lapey, Paul ; Williams, Aaron 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dealing with Variability in API Misuse Specification
  Bonifácio, Rodrigo ; Krüger, Stefan ; Narasimhan, Krishna ; Bodden, Eric ; Mezini, Mira 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Generation of Rectangulations via Permutation Languages
  Merino, Arturo ; Mütze, Torsten 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enhancing low-frequency stitch code generation for knitted fabrics: an LFSCG-E-Net approach
  Liang, Jinxing ; Han, Kaifang ; Li, Dongsheng ; Gao, Ruixin ; Peng, Jiajia ; Peng, Tao ; Hu, Xinrong
• Generating Verified LLVM from Isabelle/HOL
  Lammich, Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fling - A Fluent API Generator
  Gil, Yossi ; Roth, Ori 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Potassic Igneous Rocks and Associated Gold-Copper Mineralization
  Müller, Daniel ; Groves, David I. 2019 Springer International Publishing