„Compiler“

Suchergebnisse

10.000+ Treffer

• Introduction to the STAF 2015 special section
  Blanchette, Jasmin ; Bordeleau, Francis ; Pierantonio, Alfonso ; Kosmatov, Nikolai ; Taentzer, Gabriele ; Wimmer, Manuel
• Multi-strategy quantum particle swarm optimization for efficient path planning of mobile robots
  Wang, Zeqian ; Kawamoto, Kazuhiko ; Hirota, Kaoru ; Yan, Fei
• Response surface-driven hyperparameter optimization for XGBoost
  Vasquez-Ramos, Jair ; Ruiz-Sandoval, María Guadalupe ; Oliva, Diego ; Ramos-Soto, Oscar ; Ramos-Frutos, Jorge ; Sharawi, Marwa ; Pérez-Cisneros, Marco
• Consistency management in industrial continuous model-based development settings: a reality check
  Jongeling, Robbert ; Ciccozzi, Federico ; Carlson, Jan ; Cicchetti, Antonio
• Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach
  Salnitri, Mattia ; Angelopoulos, Konstantinos ; Pavlidis, Michalis ; Diamantopoulou, Vasiliki ; Mouratidis, Haralambos ; Giorgini, Paolo
• A feature-based survey of model view approaches
  Bruneliere, Hugo ; Burger, Erik ; Cabot, Jordi ; Wimmer, Manuel
• Distinguishing extended finite state machine configurations using predicate abstraction
  El-Fakih, Khaled ; Yevtushenko, Nina ; Bozga, Marius ; Bensalem, Saddek
• Languages and Compilers for Parallel Computing – 36th International Workshop, LCPC 2023, Lexington, KY, USA, October 11–13, 2023, Revised Selected Papers
  Dietz, Henry 2026 Springer Nature Switzerland, Imprint: Springer
• Automated synthesis of local time requirement for service composition
  André, Étienne ; Tan, Tian Huat ; Chen, Manman ; Liu, Shuang ; Sun, Jun ; Liu, Yang ; Dong, Jin Song
• Realisierung der Ein-/Ausgabe in einem Compiler fur Haskell bei Verwendung einer nichtdeterministischen Semantik
  Sabel, David ; Schmidt-Schauß, Manfred 2003 Univ.-Bibliothek Frankfurt am Main
• A new thread-level speculative automatic parallelization model and library based on duplicate code execution
  Martínez, Millán A. ; Fraguela, Basilio B. ; Cabaleiro, José C. ; Fernández-Rivera, Francisco
• IHP: a dynamic heterogeneous parallel scheme for iterative or time-step methods—image denoising as case study
  Laso, Ruben ; Cabaleiro, José C. ; Fernández-Rivera, Francisco ; Muñiz, M. Carmen ; Álvarez-Dios, José A.
• Optimizing tensor train decomposition in DNNs for RISC-V architectures using design space exploration and compiler optimizations
  Anthimopoulos, Theologos ; Kokhazadeh, Milad ; Kelefouras, Vasilios ; Himpel, Benjamin ; Keramidas, Georgios 2025 Hochschule Reutlingen
• Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
  Könighofer, Bettina ; Torfah, Hazem 2026 Springer Nature Switzerland, Imprint: Springer
• Multiscale bidirectional spatial-temporal gated recurrent unit network for multisensor fault diagnosis under nonstationary conditions
  Wu, Zhangjun ; Lai, Yuming ; Guo, Yaguang ; Chen, Mengyao
• Development of hybrid optimization approach combined with AI-based techniques for prediction of electrical fields in overhead transmission lines
  Meriouma, Takieddine ; Bessedik, Sid Ahmed ; Djekidel, Rabah ; El-Sehiemy, Ragab A.
• A robust multi-scale ship detection approach leveraging edge focus enhancement and dilated residual aggregation
  You, Datao ; Zhao, Bingbing ; Lei, Deyu ; Mao, Yanxu
• Numerical simulation of two-dimensional fractional space–time partial differential equation arising from anomalous diffusion with zero magnetic field gradient
  Azin, Hadis ; Ordokhani, Yadollah ; Kashkooly, Ali Iloon
• OptimizedSwinUNet: a computationally efficient framework for joint semantic segmentation and 3D modeling of acoustic materials
  Ting, Zheng ; Jinxiang, Pang ; Xuewen, Liu ; Zhenshan, Zhang
• Live process modeling with the BPMN Sketch Miner
  Ivanchikj, Ana ; Serbout, Souhaila ; Pautasso, Cesare