„Programming Models“

Suchergebnisse

1.230 Treffer

• Automated Programming and Program Repair (Dagstuhl Seminar 24431)
  Le Goues, Claire ; Pradel, Michael ; Roychoudhury, Abhik ; Tan, Shin Hwei
• Grammar-Based Integer Programing Models for Multi-Activity Shift Scheduling
  Cote, Marie-Claude ; Gendron, Bernard ; Rousseau, Louis-Martin
• Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan
• On Measuring Average Case Complexity via Sum-Of-Squares Degree (Invited Talk)
  Raghavendra, Prasad 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper)
  Booth, Kyle E. C. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning Constraint Programming Models from Data Using Generate-And-Aggregate
  Kumar, Mohit ; Kolb, Samuel ; Guns, Tias 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Generation of Declarative Models For Differential Cryptanalysis
  Libralesso, Luc ; Delobel, François ; Lafourcade, Pascal ; Solnon, Christine 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences
  Cseh, Ágnes ; Escamocher, Guillaume ; Genç, Begüm ; Quesada, Luis 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Planted Models for the Densest k-Subgraph Problem
  Khanna, Yash ; Louis, Anand 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences
  Cseh, Ágnes ; Escamocher, Guillaume ; Genç, Begüm ; Quesada, Luis
• Cross-platform edge deployment of machine learning models: a model-driven approach
  Karlsson Landgren, Albin ; Perhult Johnsen, Philip ; Strüber, Daniel
• Models for formal methods and tools: the case of railway systems
  Beek, M. H. ter
• Computability, Complexity and Programming with Ordinary Differential Equations (Invited Talk)
  Bournez, Olivier 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Some Semantic Issues in Probabilistic Programming Languages (Invited Talk)
  Yang, Hongseok 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fully Abstract Models of the Probabilistic lambda-calculus
  Clairambault, Pierre ; Paquet, Hugo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interaction Automata and the ia2d Interpreter
  Gimenez, Stéphane ; Obwaller, David 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Silently Shifting Semicolon
  Marino, Daniel ; Millstein, Todd ; Musuvathi, Madanlal ; Narayanasamy, Satish ; Singh, Abhayendra 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tracking the Flow of Ideas through the Programming Languages Literature
  Greenberg, Michael ; Fisher, Kathleen ; Walker, David 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Large Language Models: Compilers for the 4^{th} Generation of Programming Languages? (Short Paper)
  S. Marcondes, Francisco ; Almeida, José João ; Novais, Paulo 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Termination of Logic Programs with Function Symbols
  Greco, Sergio ; Spezzano, Francesca ; Trubitsyna, Irina 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik