„programming model“

Suchergebnisse

4.625 Treffer

• Search based software engineering – third international symposium ; proceedings
  Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer
• Static analysis – 18th international symposium ; proceedings
  Yahav, Eran 2011 Springer
• Multicriteria decentralized decision making in logistic chains: a dynamic programming approach for collaborative forwarding of air cargo freight
  Berger, Martin ; Schröder, Michael
• Theoretical aspects of computing 8th international colloquium ; proceedings
  Cerone, Antonio ; Pihlajasaari, Pekka 2011 Springer
• Guest editors introduction: special issue on inductive logic programming
  Davis, Jesse ; Ramon, Jan
• A Repair of Workflow Models Based on Mirroring Matrices
  Sun, Yanan ; Du, Yuyue ; Li, Maozhen
• Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
  Varró, Dániel ; Bergmann, Gábor ; Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Ujhelyi, Zoltán
• A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions – A User’s Guide for ANALYZE<Superscript>(c)</Superscript>
  1993 Springer US
• CHEOPS: A tool-integration platform for chemical process modelling and simulation
  Schopfer, G. ; Yang, A. ; von Wedel, L. ; Marquardt, W.
• Symmetry reductions for model checking of concurrent dynamic software
  Iosif, Radu
• Heuristics for model checking Java programs
  Groce, Alex ; Visser, Willem
• Boolean and Cartesian abstraction for model checking C programs
  Ball, Thomas ; Podelski, Andreas ; Rajamani, Sriram K.
• A logical encoding of the π-calculus: model checking mobile processes using tabled resolution
  Yang, Ping ; Ramakrishnan, C.R ; Smolka, Scott A.
• Test sequence generation and model checking using dynamic transition relations
  Campos, Sérgio ; Grumberg, Orna ; Yorav, Karen ; Fady, Copty
• Model Checking – Grundlagen und Praxiserfahrungen
  Buschermöhle, Ralf ; Brörkens, Mark ; Brückner, Ingo ; Damm, Werner ; Hasselbring, Wilhelm ; Josko, Bernhard ; Schulte, Christoph ; Wolf, Thomas
• Probabilistic (logic) programming concepts
  De Raedt, Luc ; Kimmig, Angelika
• Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines
  França, Breno Bernard Nicolau de ; Travassos, Guilherme Horta
• Inferring extended finite state machine models from software executions
  Walkinshaw, Neil ; Taylor, Ramsay ; Derrick, John
• Predictive control using semi-definite programming - efficient approaches for periodic systems and Luré systems
  Böhm, Christoph M. 2011 Logos-Verl.
• User constraints for reliable user-defined smart home scenarios
  Le Guilly, Thibaut ; Nielsen, Michael K. ; Pedersen, Thomas ; Skou, Arne ; Kjeldskov, Jesper ; Skov, Mikael