„programming model“

Suchergebnisse

4.625 Treffer

• Modelling Grammar Constraints with Answer Set Programming
  Drescher, Christian ; Walsh, Toby 2011 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
• The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
  Martini, Simone 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Revision of Logical Regulatory Networks Using Logic-Based Tools
  Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. 2018 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
• A Model-Based Heuristic to the Min Max K-Arc Routing for Connectivity Problem
  Akbari, Vahid ; Salman, Sibel 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
• Real Time Railway Traffic Management Modeling Track-Circuits
  Pellegrini, Paola ; Marlière, Grégory ; Rodriguez, Joaquin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Parallel Programming Models for Predictability
  Lisper, Björn 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimization of electricity trading using linear programming
  Marinovic, Minja R. ; Makajic-Nikolic, Dragana D. ; Stanojevic, Milan J. ; Dordevic, Lena S. 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Embedded Process Functional Language
  Bĕhálek, Marek ; Šaloun, Petr 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MILP formulations of cumulative constraints for railway scheduling - A comparative study
  Aronsson, Martin ; Bohlin, Markus ; Kreuger, Per 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Verifiable WCET Analysis for a Functional Programming Language
  Hammond, Kevin ; Ferdinand, Christian ; Heckmann, Reinhold ; Dyckhoff, Roy ; Hofman, Martin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Michaelson, Greg ; Pointon, Robert ; Scaife, Norman ; Sérot, Jocelyn ; Wallace, Andy 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of Persistent Programming (Dagstuhl Seminar 21462)
  Boehm, Hans-J. ; Lahav, Ori ; Raad, Azalea
• Loop Optimization (Dagstuhl Seminar 18111)
  Hack, Sebastian ; Kelly, Paul H. J. ; Lengauer, Christian
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
  Gaboardi, Marco ; Jagannathan, Suresh ; Jhala, Ranjit ; Weirich, Stephanie
• Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052)
  Gerndt, Hans Michael ; Glaß, Michael ; Parameswaran, Sri ; Rountree, Barry L.
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong