„Programming Models“

Suchergebnisse

1.230 Treffer

• Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)
  Lee, Joohyung ; Meng, Yunsong 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
  Fierens, Daan 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Candidate Quality of Probabilistic Logic Models
  Côrte-Real, Joana ; Dries, Anton ; Dutra, Inês ; Rocha, Ricardo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mathematical programming models for scheduling locks in sequence
  Passchyn, Ward ; Briskorn, Dirk ; Spieksma, Frits C.R. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tools for the implementation of argumentation models
  van Gijzel, Bas 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Parallel Programming Models for Predictability
  Lisper, Björn 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of Persistent Programming (Dagstuhl Seminar 21462)
  Boehm, Hans-J. ; Lahav, Ori ; Raad, Azalea
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Synchronous Programming (Dagstuhl Seminar 13471)
  Edwards, Stephen A. ; Girault, Alain ; Schneider, Klaus
• A redistributed bundle algorithm based on local convexification models for nonlinear nonsmooth DC programming
  Shen, Jie ; Li, Jia-Tong ; Guo, Fang-Fang ; Xu, Na
• Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
  Cohen, Albert ; Donaldson, Alastair F. ; Huisman, Marieke ; Katoen, Joost-Pieter
• Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
  Boehm, Hans J. ; Goltz, Ursula ; Hermanns, Holger ; Sewell, Peter
• Deep Learning and Genetic Programming-Based Soft-Computing Prediction Models for Metakaolin Mortar
  Kumar, Manish ; Kumar, Divesh Ranjan ; Wipulanusat, Warit ; Ramjan, Sarawut ; Chowdhury, Akash Sankar ; Mazumadar, Shreya
• Run-time threat models for systematic and continuous risk assessment
  Verreydt, Stef ; Landuyt, Dimitri Van ; Joosen, Wouter
• Integrating smart contracts into the modeling paradigm to harness the potential of models
  Gómez-Macías, Cristian ; Pérez-Blanco, Francisco Javier ; Granada, David ; Vara, Juan Manuel
• On the use of large language models in model-driven engineering
  Di Rocco, Juri ; Di Ruscio, Davide ; Di Sipio, Claudio ; Nguyen, Phuong T. ; Rubei, Riccardo
• Credibilistic Programming – An Introduction to Models and Applications
  Li, Xiang 2013 Springer Berlin Heidelberg
• Linear and Nonlinear Programming
  Luenberger, David G. ; Ye, Yinyu 2016 Springer International Publishing
• Linear and Nonlinear Optimization
  Cottle, Richard ; Thapa, Mukund Narain 2017 Springer New York