„Programming Languages“

Suchergebnisse

7.502 Treffer

• Variational satisfiability solving: efficiently solving lots of related SAT problems
  Young, Jeffrey M. ; Bittner, Paul Maximilian ; Walkingshaw, Eric ; Thüm, Thomas
• Semantically-oriented mutation operator in cartesian genetic programming for evolutionary circuit design
  Hodan, David ; Mrazek, Vojtech ; Vašíček, Zdenĕk
• EA-based resynthesis: an efficient tool for optimization of digital circuits
  Kocnova, Jitka ; Vašíček, Zdenĕk
• Genetic programming in the twenty-first century: a bibliometric and content-based analysis from both sides of the fence
  De Lorenzo, Andrea ; Bartoli, Alberto ; Castelli, Mauro ; Medvet, Eric ; Xue, Bing
• Designing automatically a representation for grammatical evolution
  Medvet, Eric ; Bartoli, Alberto ; De Lorenzo, Andrea ; Tarlao, Fabiano
• Unveiling evolutionary algorithm representation with DU maps
  Medvet, Eric ; Virgolin, Marco ; Castelli, Mauro ; Bosman, Peter A. N. ; Gonçalves, Ivo ; Tušar, Tea
• Learning C# by Programming Games
  Toll, Wouter ˜vanœ ; Egges, Arjan 2019 Springer Berlin
• Software Product Management – The ISPMA®-Compliant Study Guide and Handbook
  Kittlaus, Hans-Bernd 2022 Springer Berlin
• Pattern Calculus – Computing with Functions and Structures
  Jay, Barry 2009 Springer Berlin
• A blockchain-based secure storage and access control scheme for supply chain finance
  Li, Dun ; Han, Dezhi ; Crespi, Noel ; Minerva, Roberto ; Li, Kuan-Ching
• Providing quality of service in omni-path networks
  Cano-Cano, Javier ; Andújar, Francisco J. ; Alfaro-Cortés, Francisco J. ; Sánchez, José L. ; Mora, Gaspar
• Towards a model-driven approach for multiexperience AI-based user interfaces
  Planas, Elena ; Daniel, Gwendal ; Brambilla, Marco ; Cabot, Jordi
• EvoStencils: a grammar-based genetic programming approach for constructing efficient geometric multigrid methods
  Schmitt, Jonas ; Kuckuk, Sebastian ; Köstler, Harald
• Interface protocol inference to aid understanding legacy software components
  Aslam, Kousar ; Cleophas, Loek ; Schiffelers, Ramon ; den Brand, Mark ˜vanœ
• An enhancement of task scheduling in cloud computing based on imperialist competitive algorithm and firefly algorithm
  Kashikolaei, Seyedeh Monireh Ggasemnezhad ; Hosseinabadi, Ali Asghar Rahmani ; Saemi, Behzad ; Shareh, Morteza Babazadeh ; Sangaiah, Arun Kumar ; Bian, Gui-Bin
• Privacy-enhanced BPMN: enabling data privacy analysis in business processes models
  Pullonen, Pille ; Tom, Jake ; Matulevičius, Raimundas ; Toots, Aivo
• Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system
  Yu, Zhongxing ; Martínez, Matías ; Danglot, Benjamin ; Durieux, Thomas ; Monperrus, Martin
• Tradeoffs in modeling performance of highly configurable software systems
  Kolesnikov, Sergiy ; Siegmund, Norbert ; Kästner, Christian ; Grebhahn, Alexander ; Apel, Sven
• The KeY tool – Integrating object oriented design and formal verification
  Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter H.
• Comments on “A privacy preserving three-factor authentication protocol for e-health clouds”
  Irshad, Azeem ; Ashraf Chaudhry, Shehzad