„Compilers“

Suchergebnisse

10.000+ Treffer

• Finding better active learners for faster literature reviews
  Yu, Zhe ; Kraft, Nicholas A. ; Menzies, Tim
• Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Simple Available Bandwidth Utilization Library for High-Speed Wide Area Networks
  Grossman, Robert ; Mazzucco, M. ; Sivakumar, H. ; Pan, Y. ; Zhang, Q.
• Report on the state of the SoSyM journal (2023 summary)
  Challita, Stéphanie ; Combemale, Benoit ; Ergin, Huseyin ; Gray, Jeff ; Rumpe, Bernhard ; Schindler, Martin
• Large language models as an “operating” system for software and systems modeling
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Evaluation of Usage-Based Reading—Conclusions after Three Experiments
  Thelin, Thomas ; Runeson, Per ; Wohlin, Claes ; Olsson, Thomas ; Andersson, Carina
• Interactive log-delta analysis using multi-range filtering
  Vidgof, Maxim ; Djurica, Djordje ; Bala, Saimir ; Mendling, Jan
• Model-driven development platform selection: four industry case studies
  Farshidi, Siamak ; Jansen, Slinger ; Fortuin, Sven
• 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
• 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.
• 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