„Compiler optimization“

Suchergebnisse

624 Treffer

• EHHO-EL: a hybrid method for software defect detection in software product lines using extended Harris hawks optimization and ensemble learning
  Habibzadeh-khameneh, Mehdi ; Nabiollahi-Najafabadi, Akbar ; Tavoli, Reza ; Rastegari, Hamid
• A hybrid task allocation approach for multi-UAV systems with complex constraints: a market-based bidding strategy and improved NSGA-III optimization
  Yang, Mi ; Zhang, Baichuan ; Shi, Zhifu ; Li, Jiguang
• Orthodontic path planning for virtual teeth via the multi-strategy improved particle swarm optimization algorithm
  Li, Hong-an ; Hu, Xue ; Zhao, Zhihua ; Liu, Jun
• An Empirical Study on Deoptimization in the Graal Compiler
  Zheng, Yudi ; Bulej, Lubomír ; Binder, Walter 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formally Verifying a Compiler: What Does It Mean, Exactly? (Invited Talk)
  Leroy, Xavier 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Loop Tiling in the Presence of Exceptions
  Bhandari, Abhilash ; Nandivada, V. Krishna 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimization of monitoring and early warning technology for mine water disasters using microservices and long short-term memory algorithm
  Li, Wei ; Li, Yang ; Zhao, Yaning ; Xu, Dongming
• Populating the Peephole Optimizer of a Smart Contract Compiler
  Schett, Maria A. ; Nagele, Julian 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fine-Grain Iterative Compilation for WCET Estimation
  Puaut, Isabelle ; Dardaillon, Mickaël ; Cullmann, Christoph ; Gebhard, Gernot ; Derrien, Steven 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Optimizations for Concurrent Programs
  Mansky, William ; Gunter, Elsa L. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Verified Optimizing Compilation in Flight Control Software
  França, Ricardo Bedin ; Favre-Felix, Denis ; Leroy, Xavier ; Pantel, Marc ; Souyris, Jean 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101)
  Bientinesi, Paolo ; Ham, David ; Huang, Furong ; Kelly, Paul H. J. ; Sadayappan, P. (Saday) ; Stow, Edward
• Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111)
  Bientinesi, Paolo ; Ham, David ; Huang, Furong ; Kelly, Paul H. J. ; Lengauer, Christian ; Sadayappan, Saday
• Testing and Verification of Compilers (Dagstuhl Seminar 17502)
  Chen, Junjie ; Donaldson, Alastair F. ; Zeller, Andreas ; Zhang, Hongyu
• Software Synthesis (Dagstuhl Seminar 12152)
  Bodík, Rastislav ; Gulwani, Sumit ; Yahav, Eran
• Compiler-level DMA-aware multi-objective dynamic SPM allocation
  Jadhav, Shashank ; Falk, Heiko 2025 Technische Universität Hamburg. Universitätsbibliothek
• Chinese Pangolin Optimizer: a novel bio-inspired metaheuristic for solving optimization problems
  Guo, Zhiqing ; Liu, Guangwei ; Jiang, Feng
• Improved dwarf mongoose optimization algorithm based on hybrid strategy for global optimization and engineering problems
  He, Fuchun ; Fu, Chunming ; He, Youwei ; Huo, Shaoyong ; Tang, Jiachang ; Long, Xiangyun
• Multi-robot Collaborative 3D Path Planning Based On Game Theory and Particle Swarm Optimization Hybrid Method
  Qiu, Hong ; Yu, Wentao ; Zhang, Gan ; Xia, Xuan ; Yao, Kun
• Decentralized dynamic load balancing for virtual machines in cloud computing: a blockchain-enabled system with state channel optimization
  Roselin, J. ; Insulata, Israelin J.